Software fault avoidance issues-Reference-Cited by-同舟云学术

Software fault avoidance issues

Published:2006-11 Issue:November Volume:2006 Page:1-15
ISSN:1530-2180
Container-title:Ubiquity
language:en
Short-container-title:Ubiquity

Author:

Saha Goutam Kumar

Abstract

This article aims to discuss various issues of software fault avoidance. Software fault avoidance aims to produce fault free software through various approaches having the common objective of reducing the number of latent defects in software programs.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1195937.1195938

Reference27 articles.

1. {1} Reliability Maintainability and Availability (RMA) Handbook FAA HDBK-006 2006. {1} Reliability Maintainability and Availability (RMA) Handbook FAA HDBK-006 2006.

2. {2} Charles B. Weinstock David P. Gluch "A Perspective on the State of Research in Fault-Tolerant Systems " June 1997 CMU/SEI-97-SR-008. {2} Charles B. Weinstock David P. Gluch "A Perspective on the State of Research in Fault-Tolerant Systems " June 1997 CMU/SEI-97-SR-008.

3. {3} Philippe Charpentier "Final Report of WP 1.2 " INRS European Project STSARCES Contract SMT 4CT97-2191. {3} Philippe Charpentier "Final Report of WP 1.2 " INRS European Project STSARCES Contract SMT 4CT97-2191 .

4. Software Fault Tolerance: tl(n-1)-Variant Programming;Xu Jie;IEEE Transactions on Reliability,1997

5. {5} J. P. Bowen V. Stavridou "Formal Methods and Software Safety " 1992. {5} J. P. Bowen V. Stavridou "Formal Methods and Software Safety " 1992.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming;2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2022-12

2. Meta-Heuristic Techniques Study for Fault Tolerance in Cloud Computing Environment: A Survey Work;Advances in Intelligent Systems and Computing;2018-08-31

3. Using human error information for error prevention;Empirical Software Engineering;2018-05-23

4. Formal specification of wireless and pervasive healthcare applications;ACM Transactions on Embedded Computing Systems;2010-08

5. A Middleware Architecture for Safety Critical Ambient Intelligence Applications;Smart Spaces and Next Generation Wired/Wireless Networking;2010