共 50 条
- [41] FOOM: A diagrammatic illustration of Object-Z specifications OBJECT ORIENTED SYSTEMS, 1996, 3 (04): : 215 - 242
- [42] From Object-Z specification to Groovy implementation SCIENTIA IRANICA, 2018, 25 (06) : 3415 - 3441
- [43] An Instance to Extend Object-Z Formal Specification ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1500 - 1504
- [44] Translating the OMT dynamic model into Object-Z ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 347 - 366
- [45] Viewpoints and consistency: Translating LOTOS to Object-Z Computer Standards and Interfaces, 1999, 21 (03): : 251 - 272
- [46] Translating Object-Z specifications to object-oriented test oracles ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 414 - 423
- [47] Comparison of formalisation approaches of UML class constructs in Z and Object-Z ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 339 - 358
- [49] Extending Linear Temporal Logic With Clocks to Object-Z APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 927 - 930
- [50] Formal specification of CORBA services using Object-Z SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 180 - 189