A real-time specification language

被引：0
|
作者：
do Amaral, FN
Haeusler, EH
Endler, M
机构：
来源：
ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS | 2002年 / 85卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A specification language for real-time software systems is presented. Notions from Category Theory are used to specify how the components of a system should interact. The potential role of the proposed language in the search for interoperability of specification formalisms is briefly discussed.
引用
收藏
页码：194 / 201
页数：8
相关论文
共 50 条
  • [41] Formal analysis of a real-time kernel specification
    Fowler, S
    Wellings, A
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 440 - 458
  • [42] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [43] DETECTION OF CYCLE IN REAL-TIME SYSTEM SPECIFICATION
    KIRNER, TG
    SIGPLAN NOTICES, 1994, 29 (07): : 43 - 50
  • [44] REAL-TIME SOFTWARE SPECIFICATION AND VALIDATION WITH TRANSNET
    SACHA, KM
    REAL-TIME SYSTEMS, 1994, 6 (02) : 153 - 172
  • [45] Formal analysis of a real-time kernel specification
    Fowler, S.
    Wellings, A.
    Lecture Notes in Computer Science, 1135
  • [46] Functional specification of real-time and hybrid systems
    Muller, O
    Scholz, P
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
  • [47] DiRT - Dust in real-time: The specification process
    Bagby, M
    Romero, R
    Sulprizio, B
    Uda, H
    Jaquish, J
    Harris, FC
    SERP '05: Proceedings of the 2005 International Conference on Software Engineering Research and Practice, Vols 1 and 2, 2005, : 807 - 813
  • [48] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [49] Cost enforcement in the real-time specification for Java
    Osmar Marchi dos Santos
    Andy Wellings
    Real-Time Systems, 2007, 37 : 139 - 179
  • [50] The specification of the embedded system of real-time IR
    Zhu, Yong
    DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
12345