The Community for Technology Leaders
Green Image
Issue No. 09 - September (2009 vol. 42)
ISSN: 0018-9162
pp: 30-36
Jean-Raymond Abrial , Swiss Federal Institute of Technology
ABSTRACT
Gradually introducing some simple features will eventually result in a global improvement in the software development situation.
INDEX TERMS
Software development, Faultless software systems, Refinement, Proofs
CITATION

J. Abrial, "Faultless Systems: Yes We Can!," in Computer, vol. 42, no. , pp. 30-36, 2009.
doi:10.1109/MC.2009.283
81 ms
(Ver 3.3 (11022016))