共 50 条
- [11] Formal object-oriented analysis and design of an online ticketing system APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 259 - 266
- [12] The KeY system:: Integrating object-oriented design and formal methods FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 327 - 330
- [15] Object Normalization as Contribution to the Area of Formal Methods of Object-Oriented Database Design ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 300 - +
- [16] Object normalization as the contribution to the area of formal methods of object-oriented database design ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 471 - +
- [19] On Differencing Object-Oriented Formal Specifications JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (01): : 183 - 198
- [20] MOODD, a method for object-oriented database design Data and Knowledge Engineering, 1995, 17 (02): : 159 - 181