基于Object-Z规格说明形式方法的软件开发 |
| |
引用本文: | 朱智勇.基于Object-Z规格说明形式方法的软件开发[J].零陵学院学报,2004(11). |
| |
作者姓名: | 朱智勇 |
| |
作者单位: | 湖南科技学院资产管理中心 湖南 |
| |
摘 要: | 形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。
|
关 键 词: | 面向对象 形式规格说明 Object-Z |
Based Object-Z formal specification method software development |
| |
Authors: | ZHU Zhi-yong |
| |
Abstract: | |
| |
Keywords: | Object-Oriented Formal specification Object-Z |
本文献已被 CNKI 等数据库收录! |
|