Modular Development of Certified System Software

被引：0
|
作者：
Shao, Zhong [1 ]
机构：
[1] Yale Univ, Dept Comp Sci, New Haven, CT 06520 USA
来源：
THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | 2009年
关键词：
certified code; machine-checkable proofs; modular verification; dependable software;
D O I：
10.1109/TASE.2009.49
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [21] MODULAR SOFTWARE-CONTROLLED ELECTROCHEMICAL SYSTEM
    HAGAN, D
    SPIVEY, J
    NICULESCU, VA
    REVIEW OF SCIENTIFIC INSTRUMENTS, 1987, 58 (03): : 468 - 474
  • [22] VisualEyes: A Modular Software System for Oculomotor Experimentation
    Guo, Yi
    Kim, Eun H.
    Alvarez, Tara L.
    JOVE-JOURNAL OF VISUALIZED EXPERIMENTS, 2011, (49):
  • [23] Modular avionics operating system - software concept
    Wake, AS
    Miller, PR
    Moxon, P
    Fletcher, MA
    MICROPROCESSORS AND MICROSYSTEMS, 1997, 21 (01) : 63 - 68
  • [24] Modular avionics operating system - software concept
    British Aerospace, Military Aircraft and Aerostructures, East Yorkshire, United Kingdom
    Microprocessors Microsyst, 1 (63-68):
  • [25] Modular generic software system for cellular FMS
    Chiu, KF
    Chu, LF
    Sculli, D
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (12) : 2545 - 2566
  • [26] A MODULAR ANALYZER FOR SOFTWARE ANALYSIS IN THE 64000 SYSTEM
    NYGAARD, RA
    PALMER, FJ
    GOODWIN, BS
    BOWLIN, SW
    WILLIAMS, SR
    HEWLETT-PACKARD JOURNAL, 1983, 34 (03): : 16 - 23
  • [27] Towards Explainability in Modular Autonomous System Software
    Zheng, Hongrui
    Zang, Zirui
    Yang, Shuo
    Mangharam, Rahul
    2023 IEEE INTELLIGENT VEHICLES SYMPOSIUM, IV, 2023,
  • [28] Modular bibliometric information system with proprietary software
    Sotolongo-Aguilar, GR
    Suárez-Balseiro, CA
    Guzmán-Sánchez, MV
    SEVENTH CONFERENCE OF THE INTERNATIONAL SOCIETY FOR SCIENTOMETRICS AND INFORMETRICS, PROCEEDINGS - 1999, 1999, : 450 - 456
  • [29] SOFTWARE PACKAGE LEADS TO MODULAR ONLINE SYSTEM
    不详
    INFOSYSTEMS, 1980, 27 (11): : 92 - 92
  • [30] Modular and Certified Semantic Labeling and Unlabeling
    Sternagel, Christian
    Thiemann, Rene
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 329 - 344
12345