Polymorphic Extensions to Object-Z Specifications
暂无分享,去创建一个
[1] J. Paul Gibson,et al. Formal object oriented development of software systems using LOTOS , 1993 .
[2] Jin Song Dong,et al. Object-Z web environment and projections to UML , 2001, WWW '01.
[3] Peeter Pruuden,et al. Inheritance from the standpoint of specification and modeling , 1997 .
[4] Frank van der Linden. Formal methods: from object-based to object-oriented , 1994, SIGP.
[5] Graeme Smith,et al. The Object-Z Specification Language , 1999, Advances in Formal Methods.
[6] Fiona A. C. Polack,et al. Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z , 2003, ZB.
[7] Andrew Hussey. Formal object-oriented user-interface design , 2000, Proceedings 2000 Australian Software Engineering Conference.
[8] Neelam Soundarajan,et al. Testing Polymorphic Behavior , 2002, J. Object Technol..
[9] Nicolas Guelfi,et al. Comparison of Object-Oriented Formal Methods , 1997 .
[10] Alan Cameron Wills. Formal Methods applied to Object-Oriented Programming , 1992 .
[11] Krysia Broda,et al. Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .
[12] J. van Katwijk,et al. VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.