Issue No.09 - September (2009 vol.42)
Jean-Raymond Abrial , Swiss Federal Institute of Technology
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2009.283
Gradually introducing some simple features will eventually result in a global improvement in the software development situation.
Software development, Faultless software systems, Refinement, Proofs
Jean-Raymond Abrial, "Faultless Systems: Yes We Can!", Computer, vol.42, no. 9, pp. 30-36, September 2009, doi:10.1109/MC.2009.283