Applying mathematical logic to create zero-defect software

被引：0
|
作者：
Kouskoulas, Yanni [1 ]
Fu, Ming [2 ]
Shao, Zhong [3 ]
Kazanzides, Peter [4 ]
机构：
[1] APL, Suzhou, China
[2] USTC-Yale Joint Research Center for High-Confidence Software, Suzhou, China
[3] Department of Computer Science, Yale University, United States
[4] Department of Computer Science, Johns Hopkins University, United States
来源：
Johns Hopkins APL Technical Digest (Applied Physics Laboratory) | 2013年 / 32卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：476 / 489
相关论文
共 50 条
  • [1] Applying Mathematical Logic to Create Zero-Defect Software
    Kouskoulas, Yanni
    Fu, Ming
    Shao, Zhong
    Kazanzides, Peter
    JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 476 - 489
  • [2] ZERO-DEFECT SOFTWARE - CLEANROOM ENGINEERING
    MILLS, HD
    ADVANCES IN COMPUTERS, VOL 36, 1993, 36 : 1 - 41
  • [3] ZERO-DEFECT SOFTWARE - THE ELUSIVE GOAL
    HAMILTON, MH
    IEEE SPECTRUM, 1986, 23 (03) : 48 - 53
  • [4] ''Zero-defect'' philosophy
    Engineer, SJ
    Wieland, HJ
    STAHL UND EISEN, 1997, 117 (03): : 79 - &
  • [5] ''Zero-defect'' philosophy
    Thiery, D
    REVUE DE METALLURGIE-CAHIERS D INFORMATIONS TECHNIQUES, 1997, 94 (10): : 1259 - 1270
  • [6] Zero-defect IC inspection
    Krippner, Peter
    Circuits Assembly, 2005, 16 (11):
  • [7] Creating zero-defect students
    Faculty of Engineering, University of Manitoba, Canada
    不详
    TQM Mag, 4 (287-291):
  • [8] QUEST FOR ZERO-DEFECT SERVICE - WINNING WAYS - ACHIEVING ZERO-DEFECT SERVICE - HOROVITZ,J
    不详
    TRAINING AND DEVELOPMENT JOURNAL, 1991, 45 (04): : 83 - 84
  • [9] Applying Vstress and defect activation coverage to produce zero-defect mixed-signal automotive ICs
    Dobbelaere, Wim
    Colle, Frederik
    Coyette, Anthony
    Vanhooren, Ronny
    Xama, Nektar
    Gomez, Jhon
    Gielen, Georges
    2019 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2019,
  • [10] Zero-defect finishing at speed queen
    Products Finishing (Cincinnati), 1993, 57 (04):
12345