一种多视角的需求定义及其一致性验证方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:ivy2357
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文中针对NDRASS系统的需要,首先讨论了它的多视角的需求定义,然后重点讨论了这个多视角的需求定义的一致性问题,包括数据流图,实体关系图,控制流图之间的一致性关系,以及它们与数据字典,关系字典,操作字典之间的一致性关系,并在此基础上,讨论了相应的自动验证及实现技术。
其他文献
这艘被称为最强大的战舰,最终与德国纳粹一起被埋葬在历史的海洋.……
期刊
教育部在<关于全面推进素质教育,深化中等职业教育教学改革的意见>一文中指出:"建设高质量的教师队伍,是职业教育全面推进素质教育的基本保证."实践使我们认识到,在职业学校
Van’tHoff公式是渗透压定律的定量表示形式。为医学生理学知识提供了重要的理论依据,是临床医学生必备的基础知识。现介绍以鸡蛋蛋白膜为半透膜,用蔗糖溶液在室温条件下对Van
She's Hollywood royalty-and she can wield1 a sword. Looks like the strong-equals-sexy trend has found its official spokeswoman.……
期刊
本文利用神经交互作用函数描述拓扑特征映射神经网络,探讨了这种网络的学习收敛性。本文首先给出一个网络收敛的一般性结论,并利用该结论证明网络输入满足平均分布时的收敛性。
(在作者知道自己得了癌症即将与世长辞时,她写下了本文.)  如果我觉得身体不舒服,我会选择上床睡觉,好好休息;而不是带病工作,自以为是地以为我休息一天,地球都会因此而停
期刊
国情教育,是当前各科教学的讨论热点。在地理教学中,如何进行国情教育呢?试谈几点意见。一、国情教育,要围绕地理教学目的进行,既要有总体设想,又要有分步实施计划。地理教学
在我们生活的环境中,动态模糊事件是普遍存在的,而当今,随着计算机科学技术的发展,人们又试图用计算机来模拟这些具有“动态模糊性”的事件,因此,已往有关文献提出了动态模糊逻辑,动
前年,我接手四(3)班班主任工作和劳动课教学,看到不少学生偷懒不参加大扫除,有的参加了,但水沟、墙角总是扫不干净。我还了解到很多学生在家里什么都不做,饭都是爸爸妈妈端到
基于词汇标注的特征项提取方法是中文信息处理的有效方法,但词汇的析取是基于词典的,词典的涵盖程度决定了词汇切分的准确率,因而不断地学习新词汇、动态地维护词典,使整个中文信