Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Software Fault Tolerance
Toward Zero-Defect Programming
Toward Zero-Defect Programming
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Fault-Tolerant Systems in A Space Environment: The CRC ARGOS Project
Fault-Tolerant Systems in A Space Environment: The CRC ARGOS Project
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
A Topology Based Approach for Context-Awareness in Smart Environments
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Formal design and implementation of constraints in software components
Advances in Engineering Software
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
A middleware architecture for safety critical ambient intelligence applications
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
Hi-index | 0.00 |
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.