SPECIFICATION AND CONSTRUCTION METHODOLOGY FOR REAL-TIME SYSTEMS.

被引：0

|

作者：

Rodriguez, Jorge E.

Greenspan, Sol J.

机构：

来源：

| 1600年 / AFIPS, Montvale, NJ卷

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer software

引用

收藏

相关论文

共 50 条

[1] SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.
Uhrig, J.L.
1978, : 241 - 246
[2] Specification Methods for Logical Sequences in Real-time Systems.
Vogel, Eberhard W.
Technische Mitteilungen PTT, 1983, 61 (03): : 93 - 99
[3] SPECIFICATION OF REAL-TIME SYSTEMS
PATNAIK, LM
MALL, R
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
[4] SPECIFICATION AND CONSTRUCTION OF REAL-TIME PROGRAMS WITH PARCS
HAASE, VH
ANGEWANDTE INFORMATIK, 1980, (05): : 179 - 188
[5] SPECIFICATION AND CONSTRUCTION OF REAL-TIME PROGRAMS WITH ″PARCS″ .
Haase, Volkmar H.
Angewandte Informatik/Applied Informatics, 1980, 22 (05): : 179 - 188
[6] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
GABRIELIAN, A
FRANKLIN, MK
COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
[7] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
LUDEWIG, J
MATHEIS, H
COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
[8] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[9] Specification and analysis of real-time systems using Real-Time Maude
Ölveczky, PC
Meseguer, J
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
[10] A VERIFICATION METHODOLOGY FOR REAL-TIME SUPERVISORY CONTROL SPECIFICATION
SHANMUGHAM, SG
ROBERTS, CA
COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 : 705 - 709

← 1 2 3 4 5 →