基于Object-Z规格说明形式方法的软件开发  

Based Object-Z formal specification method software development

作　　者：朱智勇[1] 

机构地区：[1]湖南科技学院资产管理中心,湖南永州425006

出　　处：《零陵学院学报》2004年第6期162-164,共3页

摘　　要：形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。The union of formal method technology and object-oriented programming technology can eliminate software's descriptive interpretations in development earlier that may arose difference or incorrectness. Specially, this method is adapt to develop the software that reliability requrencment is very high. Therefore, we can exert their each excellence and develop high quality software better.

关 键 词：面向对象 形式规格说明 OBJECT-Z 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]