共 50 条
- [2] HOW TO PRODUCE CORRECT SOFTWARE - AN INTRODUCTION TO FORMAL SPECIFICATION AND PROGRAM-DEVELOPMENT BY TRANSFORMATIONS [J]. COMPUTER JOURNAL, 1992, 35 (06): : 547 - 554
- [3] SYNTHESIS OF PROTOCOL SPECIFICATION FROM SERVICE SPECIFICATION [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (04): : 3 - 12
- [6] An environment for interactive service specification [J]. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 25 - 41
- [7] Service specification with MSCs and roles [J]. Proceedings of the IASTED International Conference on Software Engineering, 2004, : 42 - 47
- [8] Groupware service description and specification [J]. PROCEEDINGS OF INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1996, : 270 - 274