Behavior modeling of object-oriented distributed systems
暂无分享,去创建一个
[1] Gordon S. Blair,et al. What are object-oriented systems? , 1991 .
[2] Ian J. Walker. Requirements of an object-oriented design method , 1992, Softw. Eng. J..
[3] Wei-Tek Tsai,et al. Method Sequence Specification and Verification of Classes , 1994, Journal of object-oriented programming.
[4] Daniel S. Yeung,et al. Behavioural modelling in object-oriented methodology , 1996, Inf. Softw. Technol..
[5] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[6] Grady Booch,et al. Object-Oriented Design with Applications , 1990 .
[7] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.
[8] Simon J. Gibbs,et al. Active Objects: Ealities and Possibilities , 1989, Object-Oriented Concepts, Databases, and Applications.
[9] Gary T. Leavens. Modular specification and verification of object-oriented programs , 1991, IEEE Software.
[10] Subodh Bapat. Object-oriented networks , 1994 .
[11] Colin Smythe,et al. A Review of Object-oriented Approaches in Formal Methods , 1995, Comput. J..
[12] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.