The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2009 vol.42)
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
Jean-Raymond Abrial, "Faultless Systems: Yes We Can!", Computer, vol.42, no. 9, pp. 30-36, September 2009, doi:10.1109/MC.2009.283
REFERENCES
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.
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool