面向对象软件形式开发方法  

作　　者：朱智勇[1] 

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

出　　处：《湖南科技学院学报》2005年第11期209-211,共3页Journal of Hunan University of Science and Engineering

基　　金：湖南科技学院科研项目<基于形式方式的软件开发研究>(湘科院院字[2004]36号)

摘　　要：用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误,而这些错误会随着开发过程一直存在并最终会对系统造成很严重的影响.所以能在系统的开发阶段就检测并消除这些错误是很重要的,结合形式化方法会是一个很好的解决渠道.形式化技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。

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

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