SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.

被引：0
|
作者：
Uhrig, J.L.
机构：
来源：
| 1978年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer programming
引用
收藏
页码：241 / 246
相关论文
共 50 条
  • [31] The API Specification for Real-Time Database Systems
    Ning Wei
    Wang Dao-lin
    PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314
  • [32] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [33] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [34] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [35] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
  • [36] A TPN based framework for the specification of real time embedded systems.
    Abdelli, A.
    Hammal, Y.
    PROCEEDINGS OF THE 2009 FOURTH INTERNATIONAL CONFERENCE ON EMBEDDED AND MULTIMEDIA COMPUTING, 2009, : 85 - 90
  • [37] Transformational design of real-time systems. Part I: From requirements to program specifications
    Schenke, M
    Olderog, ER
    ACTA INFORMATICA, 1999, 36 (01) : 1 - 65
  • [38] Specification and simulation of a concurrent real-time system
    Li, XS
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 197 - 204
  • [39] DETECTION OF CYCLE IN REAL-TIME SYSTEM SPECIFICATION
    KIRNER, TG
    SIGPLAN NOTICES, 1994, 29 (07): : 43 - 50
  • [40] The specification of the embedded system of real-time IR
    Zhu, Yong
    DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
12345