计算机应用 ›› 2005, Vol. 25 ›› Issue (04): 796-798.DOI: 10.3724/SP.J.1087.2005.0796
林佳一,刘进,何克清
LIN Jia-yi,LIU Jin,HE Ke-qing
摘要:
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。
中图分类号: