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