Title :
Faultless Systems: Yes We Can!
Author :
Abrial, Jean-Raymond
Author_Institution :
Dept. of Inf. Security, Swiss Fed. Inst. of Technol., Zurich, Switzerland
Abstract :
This paper presents simple ideas that offer suggestions on how to improve the situation of computerized system development. Gradually introducing some simple features will eventually result in a global improvement in the software development.
Keywords :
software engineering; computerized system development; faultless systems; software development; Programming; Faultless software systems; Proofs; Refinement; Software development;
DOI :
10.1109/MC.2009.283
