|
|||||
|
|
| 基于模型的规格说明方法 | |
| 引用本文： | 魏峻,周隽.基于模型的规格说明方法[J].计算机科学,1996,23(6):74-77. |
| 作者姓名： | 魏峻 周隽 |
| 作者单位： | 武汉大学软件工程国家重点实验室 武汉430072 |
| 摘 要： | 这篇文章分析了基于模型（转换系统）的规格说明方法的特点，给出了形式方法和严格定义，并且通过实例，探讨了基于模型的规格说明方法在公平条件下约束下，描述系统安全和活动性质的能力和特点。 |
| 关 键 词： | 转换系统 规格说明 软件开发 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |
