契约式设计论文

论文摘要契约式设计方法是面向对象软件工程中用于提高可靠性的形式化方法学。然而,在主流的开发语言中,并没有内建契约式设计的支持。为了使契约式设计方法使用更为方便,就需要在语言层次...

论文摘要软件的可靠性一直是工业界和学术界关注的焦点,随着软件系统的规模和复杂度的不断增长,如何保证其可靠性成为了亟待解决的问题。软件开发方法和软件工程也在不断发展,当今主流的面...

论文摘要基于契约进行程序验证的理论最早出现于20世纪70年代对大型系统的研究之中。20世纪90年代,BertrandMeyer首次将契约式设计（DesignbyContract...

论文摘要基于契约式设计(DesignByContract,DBC)这一理论是由BetrandMeyer提出的。DBC技术的核心是利用断言使方法及类的行为受到契约的约束,因此,将...