论文部分内容阅读
非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方。
需求分析的Z语言形式化方法
【摘 要】
：
非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介
【机 构】
：
孝感学院计算机科学系,桂林电子科技大学数学与计算科学学院
【出 处】
：
科学技术与工程
【发表日期】
：
2008年08期
其他文献
<正> 藏医藏药是我国藏族人民在西藏地区这个特定环境中,长期与疾病斗争的经验总结,它具有独特的理论体系和丰富的实践经验。是我国医学宝库中的一个组成部分。它有着悠久的
为研究离心泵叶片水力矩的非定常特性,利用CFD技术对XS50-160/7.5型离心泵内部流场进行三维非定常数值模拟,并通过离心泵能性能试验验证了数值模拟的有效性与准确性.通过模拟
【研究背景及目的】肺癌长期以来一直是全世界死亡率最高的癌症,其中非小细胞肺癌(Non-small-cell lung cancer,NSCLC)约占全部肺癌的80%。大多数患者在诊断出肺癌时已经处于
目的：观察健脾养阴法治疗脾阴虚慢性泄泻的临床疗效。方法：对42例患者以健脾养阴法立法,以余绍源教授经验方加减治疗。结果：治愈20例,好转16例,无效6例,治愈率47．62%,总有效率85．7
就业对于大学生具有重要意义。但当前就业问题还是困扰各级政府和大学生自身发展的一个难题。可以借鉴生态学中生态位相关理论,为大学生就业提供有益的建议。通过调整生态位
云计算技术是科技发展的产物,为大量数据的存储和处理提供一个应用平台,优化了软件使用方式,在企业运营中取得广泛运用。本文主要围绕云计算环境下计算机网络安全问题及解决
基于网络公开课的优质资源共享和促进高等教育公平化的目的,对网络公开课的发展历程及建设必要性进行分析,探讨网络公开课对我国应用型高等教育课堂教学改革的影响,以及如何
为了实现适应崎岖海底、大陡坡、海底火山等复杂海底地质条件且灵活、稳定、精度高的射线追踪方法,并基于该方法详细分析复杂海底条件下各种地震波型的运动学特征,综合多种算