共 50 条
- [1] Supplementing process-oriented with structure-oriented design explanation within formal object-oriented method 1998 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 118 - 132
- [2] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
- [3] KeY:: A formal method for object-oriented systems FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 32 - +
- [4] An object-oriented, formal approach to the design of cadastral systems ADVANCES IN GIS RESEARCH II, 1997, : 245 - 261
- [5] Formal Multi-threading Method of Object-Oriented 2008 2ND INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY AND IDENTIFICATION, 2008, : 293 - +
- [6] Formal object-oriented method for modeling concurrent system Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2001, 35 (02): : 245 - 249
- [7] Object-oriented formal specifications TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
- [8] REQUIREMENTS OF AN OBJECT-ORIENTED DESIGN METHOD SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 102 - 113