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 条
  • [31] Virtual metrology for enabling zero-defect manufacturing: a review and prospects
    Zhang, Yaxuan
    Li, Li
    Yu, Qingyun
    [J]. International Journal of Advanced Manufacturing Technology, 1600, 130 (7-8): : 3211 - 3227
  • [32] Deep learning for zero-defect inkjet-printing of electronics
    Minnette, Flaig
    Sebastian, Zambal
    [J]. 2021 IEEE INTERNATIONAL WORKSHOP ON METROLOGY FOR INDUSTRY 4.0 & IOT (IEEE METROIND4.0 & IOT), 2021, : 458 - 463
  • [33] A framework for process states structural interpretation of zero-defect manufacturing
    Xu, Zihan
    Guo, Zhengang
    Zhang, Geng
    Zhou, Xueliang
    Zhang, Yingfeng
    [J]. ADVANCED ENGINEERING INFORMATICS, 2024, 60
  • [34] WINNING WAYS - ACHIEVING ZERO-DEFECT SERVICE - HOROVITZ,J
    SHIN, WS
    [J]. INTERFACES, 1992, 22 (02) : 115 - 115
  • [35] ''Zero-defect'' junction block assembly from modular automation
    不详
    [J]. ASSEMBLY AUTOMATION, 1996, 16 (01) : 45 - 45
  • [36] Framework for zero-defect manufacturing in Indian industries - Voice of the customer
    Yadav, Narottam
    Kaliyan, Mathiyazhagan
    Saikouk, Tarik
    Goswami, Susobhan
    Gorcun, Omer Faruk
    [J]. BENCHMARKING-AN INTERNATIONAL JOURNAL, 2023, 30 (07) : 2303 - 2329
  • [37] Towards zero-defect manufacturing (ZDM)—a data mining approach
    Ke-Sheng Wang
    [J]. Advances in Manufacturing, 2013, 1 : 62 - 74
  • [38] ESTIMATING NONCONFORMANCE RATES AFTER ZERO-DEFECT SAMPLING WITH RECTIFICATION
    GREENBERG, BS
    STOKES, SL
    [J]. TECHNOMETRICS, 1992, 34 (02) : 203 - 213
  • [39] Assessing Zero-Defect Manufacturing Maturity: a review of the state of the art
    Pachimuthu, Danusuya
    Pinzone, Marta
    Taisch, Marco
    [J]. IFAC PAPERSONLINE, 2024, 58 (19): : 899 - 904
  • [40] ACHIEVING ZERO-DEFECT SERVICE THROUGH SELF-DIRECTED TEAMS
    WEIS, P
    [J]. JOURNAL OF SYSTEMS MANAGEMENT, 1992, 43 (02): : 26 - &
12345