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 条
[31]   A software cost model with error removal times and risk costs [J].
Zhang, XM ;
Pham, H .
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1998, 29 (04) :435-442
[32]   A FORMAL SERIES APPROACH TO AVERAGING: EXPONENTIALLY SMALL ERROR ESTIMATES [J].
Chartier, Philippe ;
Murua, Ander ;
Maria Sanz-Serna, Jesus .
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2012, 32 (09) :3009-3027
[33]   A formal approach to software architecture of agent-base systems [J].
Reza, H ;
Grant, E .
ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, PROCEEDINGS, 2004, :591-595
[34]   Towards a Formal Approach for the Verification of SCA/BPEL Software Architectures [J].
Taoufik, Sakka Rouis ;
Tahar, Bhiri Mohamed ;
Layth, Sliman ;
Mourad, Kmimech .
2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, :487-492
[35]   Developing an ROV software control architecture: a formal specification approach [J].
de Assis, Fabio Henrique ;
Takase, Fabio Kawaoka ;
Maruyama, Newton ;
Miyagi, Paulo Eigi .
38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, :3107-3112
[36]   Specifying software architectures using a formal-based approach [J].
Hemer, David ;
Ding, Yulin .
ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, :279-288
[37]   Integrating formal methods into medical software development: The ASM approach [J].
Arcaini, Paolo ;
Bonfanti, Silvia ;
Gargantini, Angelo ;
Mashkoor, Atif ;
Riccobene, Elvinia .
SCIENCE OF COMPUTER PROGRAMMING, 2018, 158 :148-167
[38]   An integral software process formal model based on the SOCCA approach [J].
Acuña, ST ;
Sosa, MD .
XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, :162-171
[39]   A formal approach to AADL model-based software engineering [J].
Mkaouar, Hana ;
Zalila, Bechir ;
Hugues, Jerome ;
Jmaiel, Mohamed .
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) :219-247
[40]   A formal approach to AADL model-based software engineering [J].
Hana Mkaouar ;
Bechir Zalila ;
Jérôme Hugues ;
Mohamed Jmaiel .
International Journal on Software Tools for Technology Transfer, 2020, 22 :219-247
12345