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 条
  • [1] Modular hierarchical modeling as basis of software and system development
    Broy, Manfred
    Rumpe, Bernhard
    Informatik-Spektrum, 2007, 30 (01) : 3 - 18
  • [2] Development of a Modular Software System for Missile Trajectory Designing
    Shi Zhenxing
    Yu Jianqiao
    Mei Yuesong
    2017 29TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2017, : 2179 - 2183
  • [3] career development Certified Software Architects
    Clements, Paul
    IEEE SOFTWARE, 2010, 27 (06) : 6 - 8
  • [4] DeepSEA: A Language for Certified System Software
    Sjoberg, Vilhelm
    Sang, Yuyang
    Weng, Shu-chun
    Shao, Zhong
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [5] Modular hierarchical modeling as a basis of the software and system development [1]
    Informatik-Spektrum, 2007, 30 (03) : 226 - 227
  • [6] Development a modular factory with modular software components
    Jumyung, U. M.
    Fischer, Klaus
    Spieldenner, Torsten
    Kolberg, Dennis
    27TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING, FAIM2017, 2017, 11 : 922 - 930
  • [7] Modular development of certified program verifiers with a proof assistant
    Chlipala, Adam
    ACM SIGPLAN NOTICES, 2006, 41 (09) : 160 - 171
  • [8] Modular development certified program verifiers with a proof assistant
    Chlipala, Adam
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2008, 18 : 599 - 647
  • [9] Administrative Modular Integral System Participatory. Design in Software Development
    Pagnoni, Veronica K.
    Craig, Diego F.
    Mendez, Juan P.
    Mendoza, Eduardo E.
    COMPUTER SCIENCE, CACIC 2021, 2022, 1584 : 41 - 48
  • [10] Certified Software
    Shao, Zhong
    COMMUNICATIONS OF THE ACM, 2010, 53 (12) : 56 - 66
12345