COMBINING MASCOT WITH MODULA-2 TO AID THE ENGINEERING OF REAL-TIME SYSTEMS.

被引：0

作者：

Budgen, D. ^{[1
]}

机构：

[1] Univ of Stirling, Dep of Computing, Science, Stirling, Scotl, Univ of Stirling, Dep of Computing Science, Stirling, Scotl

来源：

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：767 / 793

共 50 条

[21] SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.
Uhrig, J.L.
1978, : 241 - 246
[22] SPECIFICATION AND CONSTRUCTION METHODOLOGY FOR REAL-TIME SYSTEMS.
Rodriguez, Jorge E.
Greenspan, Sol J.
1600, AFIPS, Montvale, NJ
[23] Real-time Al systems. A definition and an architecture
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[24] PROGRAM FOR STRUCTURING FOR REAL-TIME MICROPROCESSOR SYSTEMS.
Rachimbekov, B.M.
Varfolomeyev, A.N.
Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika), 1984, 38-39 (10): : 37 - 40
[25] REVIEW OF THREE MODULA-2 DEVELOPMENT SYSTEMS FOR THE IBM PC.
Ural, Saim
Journal of Pascal, Ada & Modula-2, 1986, 5 (06): : 48 - 55
[26] RT-MODULA2 - AN EMBEDDED IN MODULA2 LANGUAGE FOR WRITING CONCURRENT AND REAL-TIME PROGRAMS
HERNANDEZ, J
SANCHEZ, JA
SIGPLAN NOTICES, 1992, 27 (02): : 26 - 33
[27] AID TO HIDDEN SURFACE REMOVAL IN REAL TIME CGI SYSTEMS.
Tomlinson, D.J.
1600, (25):
[28] CONCURRENT ENGINEERING FOR REAL-TIME SYSTEMS
PULLI, PJ
HEIKKINEN, MP
IEEE SOFTWARE, 1993, 10 (06) : 39 - 44
[29] REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS
GOLDSACK, SJ
FINKELSTEIN, ACW
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03): : 101 - 115
[30] Specification Methods for Logical Sequences in Real-time Systems.
Vogel, Eberhard W.
Technische Mitteilungen PTT, 1983, 61 (03): : 93 - 99