节点文献
基于Z语言的软件工程形式化研究
On Z Notation-based Formalization of Software Engineering
【摘要】 软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述。
【Abstract】 The automation of software engineering is important for the development of software quality and quantity. This paper formulates the conception of formalization of software engineering, and specifies the requirements of software.
【关键词】 软件工程；
形式化方法；
Z语言.；
【Key words】 software engineering； formal methods； specification； software requirement； Z Notation.；
【Key words】 software engineering； formal methods； specification； software requirement； Z Notation.；
- 【文献出处】 武汉船舶职业技术学院学报 ,Journal of Wuhan Institute of Shipbuilding Technology , 编辑部邮箱 ,2003年04期
- 【分类号】TP311.5
- 【被引频次】4
- 【下载频次】376