PROGRAM CORRECTNESS, SOFTWARE RELIABILITY, AND ALL THAT

被引：0
|
作者：
MULOCK, RB
机构：
来源：
COMPUTER | 1971年 / 4卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：44 / &
相关论文
共 50 条
  • [1] PROOFS, PROGRAM CORRECTNESS, AND SOFTWARE ENGINEERING
    MERRILL, G
    [J]. SIGPLAN NOTICES, 1983, 18 (12): : 96 - 105
  • [2] A New Approach for Software Correctness and Reliability (Keynote)
    Rinard, Martin C.
    [J]. PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE '18), 2018, : 1 - 2
  • [3] Static Analysis for Quantum Software Correctness and Reliability (Keynote)
    Zhao, Jianjun
    [J]. COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023, 2023, : 89 - 89
  • [4] Combining testing and correctness verification in software reliability assessment
    Cukic, B
    [J]. 1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 182 - 187
  • [5] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    Lanzinger, Florian
    Martin, Christian
    Reiche, Frederik
    Teuber, Samuel
    Heinrich, Robert
    Weigl, Alexander
    [J]. arXiv, 1600,
  • [6] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    Lanzinger, Florian
    Martin, Christian
    Reiche, Frederik
    Teuber, Samuel
    Heinrich, Robert
    Weigl, Alexander
    [J]. 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1702 - 1711
  • [7] Software Reliability Program Implementation Guide
    [J]. 1600,
  • [8] Software Reliability Program Implementation Guide
    [J].
  • [9] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    Lanzinger, Florian
    Martin, Christian
    Reiche, Frederik
    Teuber, Samuel
    Heinrich, Robert
    Weigl, Alexander
    [J]. Proceedings of the ACM Symposium on Applied Computing, : 1702 - 1711
  • [10] Software architecture correctness
    Barber, KS
    Holt, J
    [J]. IEEE SOFTWARE, 2001, 18 (06) : 64 - 65
12345