共 50 条
- [2] SOFTWARE-DEVELOPMENT AND OPERATING-SYSTEMS [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1989, 197 : 19 - COMP
- [5] FORMAL SPECIFICATION AND STRUCTURED DESIGN IN SOFTWARE-DEVELOPMENT [J]. HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 51 - 58
- [9] SOFTWARE-DEVELOPMENT OF REAL-TIME SYSTEMS [J]. COMMUNICATIONS OF THE ACM, 1986, 29 (07) : 657 - 668
- [10] PROGRAM DESIGN METHODOLOGIES AND THE SOFTWARE-DEVELOPMENT PROCESS [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 36 (01): : 1 - 19