期刊文章详细信息
面向对象软件形式开发方法
文献类型：期刊文章
机构地区：[1]湖南科技学院资产管理处,湖南永州425006
基 金：湖南科技学院科研项目<基于形式方式的软件开发研究>(湘科院院字[2004]36号)
年 份：2005
卷 号：26
期 号：11
起止页码：209-211
语 种：中文
收录情况：普通刊
摘 要：用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误,而这些错误会随着开发过程一直存在并最终会对系统造成很严重的影响.所以能在系统的开发阶段就检测并消除这些错误是很重要的,结合形式化方法会是一个很好的解决渠道.形式化技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。
关 键 词：面向对象 规格说明 OBJECT-Z 形式方法
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
