Z规格说明相关论文
为了克服自然语言和程序设计语言描述规格说明产生的缺陷，人们提出了一种新的软件开发范型，其基本思想是对系统建立一个数学模型，研究......
软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件......
采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说......
采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证.使用Z规格说明描述需求模型,根据数据库交互的源代码和转换......
万维网的普及和发展给软件工程师提供了交流和共享知识的场所．Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言．Ｚ语言用大量的数学......
提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线......
为软件工程概要设计阶段提供新方法，将软件工程语言应用于软件开发实践，进而达到降低软件开发成本和减少软件后期维护的目的.将函数......
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言......
用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以......
测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制,减少测试用例对环境的依赖,提高复用的程度。用Z规格......
Z规格说明具有非形式规约不可比拟的严谨性、清晰性。这种描述对于系统内对象的状态描述、行为描述是非常有用的原始参照物。但是,......
Z是以一阶谓词和集合论为基础的一种形式化规格说明语言,目前主要应用在软件需求阶段及测试阶段。基于C++STL技术实现Z模式向C++语......
介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系.以Z规格说明向可执行代码的自动转......
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的......
实时软件系统在现代工业和社会生活中扮演着越来越重要的角色，随着需求的逐步增加，实时系统的软件开发方法学渐渐成为研究的热点问题......
证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论......
