共 50 条
- [31] Translating fusion/UML to Object-Z FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 49 - 50
- [32] Animation of object-Z specifications using a Z animator FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 191 - 200
- [34] Structured object-Z software specification language GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 956 - 963
- [36] Formalizing semantics of XSLT using Object-Z WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 120 - 131
- [37] Modelling Java']Java concurrency with object-Z FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 173 - 181
- [38] A minimal set of refactoring rules for Object-Z FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 170 - +
- [40] Understanding object-Z operations as generalised substitutions INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 328 - 342