loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Faultless Systems: Yes We Can!
September 2009 (vol. 42 no. 9)
pp. 30-36
ASCII Text
x 
 
Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, September, 2009.
 
 
BibTex
x
 
@article{ 10.1109/MC.2009.283,
author = {Jean-Raymond Abrial},
title = {Faultless Systems: Yes We Can!},
journal ={Computer},
volume = {42},
number = {9},
issn = {0018-9162},
year = {2009},
pages = {30-36},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.283},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Faultless Systems: Yes We Can!
IS - 9
SN - 0018-9162
SP30
EP36
EPD - 30-36
A1 - Jean-Raymond Abrial,
PY - 2009
KW - Software development
KW - Faultless software systems
KW - Refinement
KW - Proofs
VL - 42
JA - Computer
ER -
 
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
Citation:
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.