Z规格说明自动生成器

摘要：

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

关键词：Z语言、形式化、自动生成器、规约、语义分析

所属期刊栏目：25

分类号：TP3;TN9

在线出版日期：2016-05-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：148-155