共 50 条
- [1] Refinement and verification of concurrent systems specified in Object-Z and CSP FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 293 - 302
- [2] Timed CSP and Object-Z ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 300 - 318
- [3] Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP Formal Methods in System Design, 2001, 18 : 249 - 284
- [5] Abstract specification in object-Z and CSP FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
- [6] Compositional class refinement in Object-Z FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 205 - 220
- [7] Refinement of objects and operations in Object-Z FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 257 - 277
- [8] Blending Object-Z and Timed CSP: An introduction to TCOZ PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 95 - 104
- [9] A case study in partial specification: Consistency and refinement for object-Z ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 177 - 185
- [10] UML/OCL or Object-Z? 2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS), 2017, : 78 - 83