This Article 
 Bibliographic References 
 Add to: 
Faultless Systems: Yes We Can!
September 2009 (vol. 42 no. 9)
pp. 30-36
Jean-Raymond Abrial, Swiss Federal Institute of Technology
Gradually introducing some simple features will eventually result in a global improvement in the software development situation.

1. R-J. Back and R. Kurki-Suonio, "Decentralization of Process Nets with Centralized Control," Proc. 2nd ACM SIGACT-SIGOPS Symp. Principles of Distributed Computing, ACM Press, 1983, pp. 131-142.
2. M. Butler, "Stepwise Refinement of Communicating Systems," Science of Computer Programming, vol. 27, no. 2, 1996, pp. 139-173.
3. J-R. Abrial, Modelling in Event-B: System and Software Engineering, Cambridge University Press, to be published, 2009.
4. F. Badeau, "Using B as a High Level Programming Language in an Industrial Project: Roissy VAL," Proc. 4th Int'l Conf. B and Z Users (ZB 05), LNCS 3455, Springer Verlag, 2005, pp. 334-354.
5. P. Behm, "Meteor: A Successful Application of B in a Large Project," Proc. World Congress on Formal Methods in the Development of Computing Systems (FM 99), LNCS 1708, Springer, 1999, pp. 369-387.

Index Terms:
Software development, Faultless software systems, Refinement, Proofs
Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, doi:10.1109/MC.2009.283
Usage of this product signifies your acceptance of the Terms of Use.