Formal methods in industry: Achievements, problems, future

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 761-767

  Abrial, Jean Raymond ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

B; Correctness; Development process; Formal method; Train system

Indexed keywords

ACHIEVEMENTS; CORRECTNESS; DEVELOPMENT PROCESS; TRAIN SYSTEMS;

ERROR CORRECTION; INDUSTRIAL MANAGEMENT; LARGE SCALE SYSTEMS; PROJECT MANAGEMENT;

FORMAL METHODS;

EID: 34247162317     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. CUP, 1996.
2. J.-R. Abrial. Event-B. To be published, 2006.
3. R. Back. Decentralization of process nets with centralized control. Distributed Computing, 1989.
4. F. Badeau. Using B as a high level programming language in an industrial project: Roissy val. In Proceedings of ZB'05, 2005.
5. P. Behm. Meteor: A successful application of B in a large project. In Proceedings of FM'99, 1999.
6. L. Burdy. Vital coded microprocessor: Principles and application for various transit systems. In Proceedings of IFAC-GCCT 1989, 1989.
7. L. Burdy. Automatic refinement. In Proceedings of BUGM at FM'99, 1999.
8. D. Dolle. Vital software: Formal method and coded processor. In Proceedings of ERTS 2006, 2006.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Massachusetts, 1995.
10. Rodin. European Project Rodin http://rodin.cs.ncl.ac.uk
11. Siemens. Siemens transportation systems, 2006. http://www.siemens.fr/ transportation.