|
|||||
|
|
| Z和VDM规格说明的差异比较 | |
| 引用本文： | 孙未未,白雪峰.Z和VDM规格说明的差异比较[J].计算机科学,1997,24(4):74-79. |
| 作者姓名： | 孙未未 白雪峰 |
| 作者单位： | 复旦大学计算机科学系，复旦大学计算机科学系 上海 200433，上海 200433 教授 博士生导师 |
| 摘 要： | 实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义,在软件开发中有着相当重要 |
| 关 键 词： | Z规格 VDM规格 规格说明 软件开发 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |
