面向对象的契约式程序设计

摘要：

运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明了这一方法的有效性.最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发中的运用前景.

关键词：行为子类型、契约、前置条件、后置条件、不变式

所属期刊栏目：25

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家自然科学基金60373086

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：796-798