SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.

被引：0
|
作者：
Uhrig, J.L.
机构：
来源：
| 1978年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer programming
引用
收藏
页码：241 / 246
相关论文
共 50 条
  • [21] Functional specification of real-time and hybrid systems
    Muller, O
    Scholz, P
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
  • [22] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [23] REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS
    GOLDSACK, SJ
    FINKELSTEIN, ACW
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03): : 101 - 115
  • [24] UML specification of real-time imaging systems
    Neill, CJ
    Laplante, PA
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
  • [25] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    WUPPER, H
    VYTOPIL, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127
  • [26] Specification and Timing Analysis of Real-Time Systems
    Shuhua Wang
    Grace Tsai
    Real-Time Systems, 2004, 28 : 69 - 90
  • [27] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
    HE, HP
    ZEDAN, H
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
  • [28] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
  • [29] Specification and analysis of real-time systems in statecharts
    Cha, SD
    Hong, HS
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
  • [30] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
12345