共 50 条
- [1] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
- [2] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS [J]. IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
- [3] A FRAMEWORK FOR SPECIFICATION AND DESIGN OF SOFTWARE FOR ADVANCED SENSOR SYSTEMS [J]. REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 204 - 213
- [4] On the specification of complex software systems [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 134 - 138
- [7] Specification-driven design of embedded systems - Design support for networked embedded software applications [J]. ICE-B 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON E-BUSINESS, 2007, : 23 - +
- [8] Architecture specification of multimedia software systems [J]. IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 1, 1999, : 97 - 102
- [10] An adaptive framework for the design of software specification languages [J]. ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352