A FORMAL APPROACH TO SOFTWARE ERROR REMOVAL

被引：5
作者：
DYER, M [1 ]
机构：
[1] IBM,FED SYST DIV,BETHESDA,MD 20817
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1987年 / 7卷 / 02期
关键词：
D O I：
10.1016/0164-1212(87)90015-X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：109 / 114
页数：6
相关论文
共 50 条
  • [21] MANUFACTURING GAME: A FORMAL APPROACH TO MANUFACTURING SOFTWARE.
    Naylor, Arch W.
    Maletz, Mark C.
    [J]. IEEE Transactions on Systems, Man and Cybernetics, 1986, SMC-16 (03): : 321 - 334
  • [22] A formal software development approach using refinement calculus
    Wang, YF
    Pang, J
    Zha, M
    Yang, ZH
    Zheng, GL
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (03) : 251 - 262
  • [23] A formal software development approach using refinement calculus
    Yunfeng Wang
    Jun Pang
    Ming Zha
    Zhaohui Yang
    Guoliang Zheng
    [J]. Journal of Computer Science and Technology, 2001, 16 : 251 - 262
  • [24] Formal specification based software testing: An automated approach
    Gill, MS
    Bhatia, RK
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 656 - 659
  • [25] A Formal Software Development Approach Using Refinement Calculus
    王云峰
    庞军
    查鸣
    杨朝晖
    郑国梁
    [J]. Journal of Computer Science and Technology, 2001, (03) : 251 - 262
  • [26] A formal model driven approach to dependable software evolution
    Chen, Feng
    Yang, Hongji
    Qiao, Bing
    Chu, William Cheng-Chung
    [J]. 30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 205 - +
  • [27] Formal approach for handling software evolution in component-based software developments
    Iida, S
    Futatsugi, K
    [J]. INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 262 - 271
  • [28] Formal reasoning regarding error propagation in multi-process software architectures
    Saetre, Fredrik
    Winther, Rune
    [J]. SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, 2009, : 2635 - 2640
  • [29] A Software Tool to Support Scenario-Based Formal Specification for Error Prevention
    Li, Siyuan
    Liu, Shaoying
    [J]. STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 187 - 199
  • [30] A software cost model with error removal times and risk costs
    Zhang, XM
    Pham, H
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1998, 29 (04) : 435 - 442
12345