|
|||||
|
|
| 基于Z语言的软件工程形式化研究 | |
| 引用本文： | 朱俊武,张辉.基于Z语言的软件工程形式化研究[J].武汉船舶职业技术学院学报,2003,2(4):20-24,29. |
| 作者姓名： | 朱俊武 张辉 |
| 作者单位： | 1. 华东船舶工业学院,江苏镇江,212003;扬州大学工学院,江苏扬州,225009 2. 武汉船舶职业技术学院人事处,湖北武汉,430050 |
| 摘 要： | 软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率.本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述. |
| 关 键 词： | 软件工程 形式化方法 Z语言. |
| 文章编号： | 1671-8100(2003)04-0020-05 |
| 修稿时间： | 1003年7月6日 |
On Z Notation-based Formalization of Software Engineering |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |