Object-oriented programming by contract
Keqing He · Jisuanji gongcheng · 2005
A notion of behavior subtyping and its extension was introduced.By analysing an example of Java,how to design in object-oriented programming by contract was discussed in order to keep the features of single and multiple inheritance.The effectivity of the method was demonstrated.Finally,how to assign blame when contracts were violated in dynamic enviroment was discussed. The perspective of contract used in software development was outlooked.