共 50 条
- [21] Modeling of Virtual Manufacturing Environment and Z Specification 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2852 - 2855
- [22] Abstract specification in object-Z and CSP FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
- [23] SVG web environment for Z specification language FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 480 - 494
- [24] Formal specification of business rules using Z International Conference on Computing, Communications and Control Technologies, Vol 1, Proceedings, 2004, : 92 - 95
- [25] Mutation operators for Object-Z specification ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 498 - 506
- [27] Using Z specification for railway interlocking safety 2000, Technical University of Budapest (28): : 1 - 2
- [28] A Z specification of use cases: A preliminary report ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 505 - 506
- [29] Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS, 2016, 9679 : 393 - 396
- [30] Analyzing a Formal Specification of Mondex Using Model Checking THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 214 - 229