On Extracting a Design out of Software Contracts using Model Transformations


A software contract specifies the behavior of an operation, focusing on its effect on the system state, and can be used as a basis to design a realization of such behavior. In object-oriented software development, software contracts are often used during analysis for specifying system level operations. Also in this context, object interactions are used to… (More)


10 Figures and Tables