自动求精论文

Z规格说明中序列和包的自动求精研究与实现
论文摘要为了克服自然语言和程序设计语言描述规格说明产生的缺陷，人们提出了一种新的软件开发范型，其基本思想是对系统建立一个数学模型，研究和提供一种基于数学的或形式语义学的规格说明...
Z规格说明中集合论算子的自动求精研究及实现
论文摘要采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法。Z是目前最为流行...