The 16th international real-time ada workshop

被引：0
|
作者：
Burns, Alan [1 ]
机构：
[1] Department of Computer Science, University of York, United Kingdom
来源：
Ada User Journal | 2013年 / 34卷 / 03期
关键词：
Software engineering;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：183 / 186
相关论文
共 50 条
  • [21] A Denotational Semantics of Real-Time Process Algebra (RTPA)
    Tan, Xinming
    Wang, Yingxu
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 57 - 70
  • [22] RTPA: A new approach to real-time system specification
    Wang, YX
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 663 - 668
  • [23] A framework for real-time collaborative engineering in the automotive industries
    Gerlicher, Ansgar R. S.
    COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2006, 4101 : 164 - 173
  • [24] A TMO based approach to structuring real-time agents
    Kim, KH
    14TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, : 165 - 172
  • [25] Software Engineering for Distributed Autonomous Real-Time Systems
    Belzner, Lenz
    Beck, Michael Till
    Gabor, Thomas
    RoeIle, Harald
    Sauer, Horst
    2016 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2016, : 54 - 57
  • [26] Engineering Service-Oriented Applications 6th International Workshop WESOA 2010
    Zirpins, Christian
    Feuerlicht, George
    Lamersdorf, Winfried
    Ortiz, Guadalupe
    SERVICE-ORIENTED COMPUTING - ICSOC 2010, WORKSHOP, 2011, 6568 : 62 - +
  • [27] 9th International Workshop on Software Engineering for E-learning (ISELEAR'18)
    Conde, Miguel A.
    Sarasa-Cabezuelo, Antonio
    Sierra, Jose-Luis
    SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY (TEEM'18), 2018, : 879 - 882
  • [28] The model multiplicity problem: Experimenting with real-time specification methods
    Peleg, M
    Dori, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (08) : 742 - 759
  • [29] Engineering the usability of a visual formalism for real-time temporal logic
    Vicario, E
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2001, 12 (06): : 573 - 599
  • [30] Quality requirements for real-time safety-critical systems
    Kirner, TG
    CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 965 - 973
12345