【摘 要】
：
为在软件需求分析阶段获得易于理解且一致性需求,在现有的研究基础上,提出一种基于自然语言与模型检验相结合的方法。将自然语言描述的需求按照子句的相似度进行划分,提取关
论文部分内容阅读
为在软件需求分析阶段获得易于理解且一致性需求,在现有的研究基础上,提出一种基于自然语言与模型检验相结合的方法。将自然语言描述的需求按照子句的相似度进行划分,提取关键词转换成自动机模型,对转换后的模型使用SMV语言描述并用模型检验工具和方法对模型进行分析和验证,通过乘坐电梯的案例对此方法进行实验验证。实验结果表明,该方法能够高效验证系统需求并能根据反例修正可能出现的错误,为系统需求模型的一致性验证提供一种思路。
其他文献
高等职业教育的特征决定了＂职业性＂是其教学质量的核心特性,人才培养方案、课程设计、学习模式等方面教学质量评价是基于人才培养过程的教学质量评价的主要方面。强化基于人才
近年来的研究表明，心室纤颤（ventricular fibrillation，VF）以及心动过速（ventrlcular tachycardia，VT）具有混沌特性，VF表现出白相似特性从而具有分形特性，因此可以使用混沌及分形方法
从调查西方和中国成本差异处理的几种方式入手，分析到几种方式之间的本质区别在于要不要计算产品实际成本，提出要改变观念，从本质上把握标准成本制度，企业应将每期产生的成本差异
学生兴趣的培养需要老师不断地努力，在初中阶段，学生学习出现差距是不可避免的，之所以成为差生是因为对所学科目失去了兴趣。那么老师就要想办法培养学生的学习兴趣。
随着计算机技术的飞速发展,各个领域不断运用信息化技术提高运行效率或服务质量。文章将信息化技术和理念引入航运公司的体系管理中,将信息化管理与传统的航运公司体系管理有
阐述利用极谱法（FATT）测量软性接触镜透氧系数（Dk）的原理，测试步骤和数据处理方法。并通过实验验证了该方法的可行性。
本文结合自己的教学经验，通过在引课、讲课、结课时巧设一些问题或实验或介绍一些故事，让学生在体验中激发兴趣、激励求知、提高修养并能使一些晦涩难懂的物理知识点通俗化、浅
笔者谈了三个方面的内容，即培养人文素质教育，正确认识人与自然的关系，加强对学生价值观的教育。
佛教在公元前五世纪到六世纪诞生于印度，作为一种异质文化，于西汉末年传入我国，开始了我国与异域第一次大规模的文化碰撞。六朝时期，佛经汉译开始趋于成熟。人们对佛教的狂热反映