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 条
  • [31] The model multiplicity problem: Experimenting with real-time specification methods
    Peleg, M
    Dori, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (08) : 742 - 759
  • [32] 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013)
    Bianculli, Domenico
    Lago, Patricia
    Lewis, Grace A.
    Paik, Hye-Young
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1539 - +
  • [33] 6th International Workshop on Software Engineering for E-Learning (ISELEAR15)
    Sarasa Cabezuelo, Antonio
    Angel Conde, Miguel
    Sierra Rodriguez, Jose Luis
    THIRD INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PROCEEDINGS TEEM'15, 2015, : 661 - 665
  • [34] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [35] ENHANCING STRUCTURED ANALYSIS BY TIMED STATECHARTS FOR REAL-TIME AND CONCURRENCY SPECIFICATION
    VONDERBEECK, M
    DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 369 - 381
  • [36] Integration of Simulink, MARTe and MDSplus for rapid development of real-time applications
    Manduchi, G.
    Luchetta, A.
    Taliercio, C.
    Neto, A.
    Sartori, F.
    De Tommasi, G.
    FUSION ENGINEERING AND DESIGN, 2015, 96-97 : 645 - 648
  • [37] Performance study of real-time operating systems for internet of things devices
    Belleza, Rafael Raymundo
    de Freitas, Edison Pignaton
    IET SOFTWARE, 2018, 12 (03) : 176 - 182
  • [38] A survey of formal verification methods and tools for embedded and real-time systems
    Cheng, Albert Mo Kim
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (3-4) : 184 - 195
  • [39] A programming environment for real-time control of distributed multiple robotic systems
    Piaggio, M
    Sgorbissa, A
    Zaccaria, R
    ADVANCED ROBOTICS, 2000, 14 (01) : 75 - 86
  • [40] Data-mining synthesised schedulers for hard real-time systems
    Kloukinas, C
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 14 - 23
12345