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

摘要

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