共 50 条
- [42] Advanced object-oriented requirements specification methods [J]. RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 266 - 266
- [43] Sequence specification for concurrent object-oriented applications [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 163 - 170
- [44] Object-oriented model for the specification of manufacturing systems [J]. Computers and Industrial Engineering, 1999, 36 (03): : 655 - 671
- [46] Object-oriented requirements specification for imaging systems [J]. LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 189 - 199
- [47] Object-oriented support for specification of distributed protocols [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTATION IN OPERATING SYSTEMS, 1996, : 133 - 137
- [49] Object-oriented specification and open distributed systems [J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
- [50] Specification and enforcement of object-oriented RBAC model [J]. CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING 2001, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 301 - 305