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 条
  • [21] THE FRENCH STEEL-INDUSTRY AND THE ZERO-DEFECT CONCEPT
    不详
    STAHL UND EISEN, 1988, 108 (04): : 169 - 170
  • [22] Analysis of Manufacturing Platforms in the Context of Zero-Defect Process Establishment
    Nazarenko, Artem A.
    Sarraipa, Joao
    Camarinha-Matos, Luis M.
    Dorchain, Marc
    Jardim-Goncalves, Ricardo
    BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, 2021, 598 : 583 - 596
  • [23] Design By Contract Methodology - A Step Towards Zero-defect Programming
    Murthy, P. V. R.
    2018 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2018, : 482 - 488
  • [24] Towards zero-defect manufacturing (ZDM)-a data mining approach
    Wang, Ke-Sheng
    ADVANCES IN MANUFACTURING, 2013, 1 (01) : 62 - 74
  • [25] Virtual metrology for enabling zero-defect manufacturing: a review and prospects
    Yaxuan Zhang
    Li Li
    Qingyun Yu
    The International Journal of Advanced Manufacturing Technology, 2024, 130 : 3211 - 3227
  • [26] Towards zero-defect manufacturing(ZDM)——a data mining approach
    Ke-Sheng Wang
    Advances in Manufacturing, 2013, 1 (01) : 62 - 74
  • [27] Reticle blank inspection and its role in zero-defect manufacturing
    Krause, K
    Howard, WB
    19TH ANNUAL SYMPOSIUM ON PHOTOMASK TECHNOLOGY, PTS 1 AND 2, 1999, 3873 : 659 - 667
  • [28] Dynapick: zero-defect picking machine for factory assembly lines
    不详
    ASSEMBLY AUTOMATION, 1997, 17 (02) : 170 - 171
  • [29] Active vision: A promising technology for achieving zero-defect manufacturing
    Tsintotas, Konstantinos A.
    Kansizoglou, Ioannis
    Konstantinidis, Fotios K.
    Mouroutsos, Spyridon G.
    Syrakoulis, Georgios Ch
    Psarommatis, Foivos
    Aloimonos, Yiannis
    Gasteratos, Antonios
    5TH INTERNATIONAL CONFERENCE ON INDUSTRY 4.0 AND SMART MANUFACTURING, ISM 2023, 2024, 232 : 2821 - 2830
  • [30] Virtual metrology for enabling zero-defect manufacturing: a review and prospects
    Zhang, Yaxuan
    Li, Li
    Yu, Qingyun
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2024, 130 (7-8) : 3211 - 3227
12345