共 50 条
- [41] Process algebra for object-oriented specification ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 145 - 155
- [42] Object-oriented specification of protocols for reusability TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 90 - 102
- [43] Object-oriented software specification language Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
- [45] Object-oriented specification of coordinated collaboration ADVANCED IT TOOLS, 1996, : 437 - 449
- [46] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
- [48] An object-oriented reference model for Holonic Manufacturing Systems CAD/CAM ROBOTICS AND FACTORIES OF THE FUTURE, 1996, : 8 - 14