Z规格说明自动生成器

• 作者: 温晋杰 赵正旭
• 来源期刊: 计算机系统应用
• 关键词: Z语言 形式化 自动生成器 规约 语义分析
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件技术·算法
• 页码范围: 148-155
• 页数: 8页
• 字数: 6199字
• 语种: 中文

摘要

形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自动生成.本文中对于Z规格说明自动生成器的研究有助于降低Z规格说明书的编写难度,降低了形式化开发的难度及成本,对于形式化Z语言的推广具有重要的意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵正旭		52	165	6.0	10.0
2	温晋杰	石家庄铁道大学信息科学与技术学院	6	5	2.0	2.0