共 50 条
- [1] Deriving programs from their Z specifications CERMA2006: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE VOL 2, PROCEEDINGS, 2006, : 297 - 302
- [2] Deriving protocol specifications from service specifications written in LOTOS Distrib Comput, 1 (29-47):
- [3] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 731 - 738
- [4] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING MULTIRENDEZVOUS MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 369 - 374
- [6] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 255 - 283
- [7] NEW RESULTS ON DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS COMMUNICATIONS ARCHITECTURES & PROTOCOLS: SIGCOMM 89 SYMPOSIUM, 1989, 19 : 136 - 145
- [8] Deriving architecture specifications from KAOS specifications: A research case study SOFTWARE ARCHITECTURE, PROCEEDINGS, 2005, 3527 : 185 - 202
- [9] Comments on deriving protocol specifications from service specifications written in LOTOS Distributed Computing, 1999, 12 : 175 - 177
- [10] Deriving formal specifications from informal requirements COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 145 - 152