共 50 条
- [21] Linking Object-Z with Spec# 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 185 - +
- [23] Formalizing UML models with object-Z FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 523 - 534
- [24] Integrating Object-Z with Timed Automata ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 488 - 497
- [26] Formalizing object oriented design patterns with object-Z 10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 269 - +
- [27] Implementing Object-Z with Perfect Developer JOURNAL OF OBJECT TECHNOLOGY, 2006, 5 (02): : 189 - 202
- [28] Polymorphic extensions to Object-Z specifications TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 1971 - 1974
- [29] Mutation operators for Object-Z specification ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 498 - 506
- [30] Slicing Object-Z specifications for verification ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 414 - 433