SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.

被引：0

|

作者：

Uhrig, J.L.

机构：

来源：

| 1978年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer programming

引用

收藏

页码：241 / 246

相关论文

共 50 条

[1] SPECIFICATION AND CONSTRUCTION METHODOLOGY FOR REAL-TIME SYSTEMS.
Rodriguez, Jorge E.
Greenspan, Sol J.
1600, AFIPS, Montvale, NJ
[2] Specification Methods for Logical Sequences in Real-time Systems.
Vogel, Eberhard W.
Technische Mitteilungen PTT, 1983, 61 (03): : 93 - 99
[3] A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS
NAIK, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 341 - 361
[4] Behavioral Specification of Real-time Requirements
Babamir, Seyed Morteza
Babamir, Faezeh Sadat
APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 299 - +
[5] SPECIFICATION OF REAL-TIME SYSTEMS
PATNAIK, LM
MALL, R
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
[6] Specification and analysis of timing requirements for real-time systems in the CBD approach
Ho Kyoung Lee
Woo Jin Lee
Heung Seok Chae
Yong Rae Kwon
Real-Time Systems, 2007, 36 : 135 - 158
[7] Specification and analysis of timing requirements for real-time systems in the CBD approach
Lee, Ho Kyoung
Lee, Woo Jin
Chae, Heung Seok
Kwon, Yong Rae
REAL-TIME SYSTEMS, 2007, 36 (1-2) : 135 - 158
[8] Requirements specification of real-time systems: Temporal parameters and timing-constraints
Kirner, TG
Davis, AM
INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (12) : 735 - 741
[9] A logic-based requirements language for the specification and analysis of real-time systems
Tsai, JJP
Weigert, T
SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 8 - 16
[10] Scenario driven requirements specification of safety-critical real-time systems
Lin, JJ
Kung, DC
Hsia, P
COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 284 - 287

← 1 2 3 4 5 →