Using B as a high level programming language in an industrial project: Roissy VAL

Lecture Notes in Computer Science

Volumn 3455, Issue , 2005, Pages 334-354

  Badeau, Frédéric ^a   Amelot, Arnaud ^b  

^a ClearSy   (France)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AIRPORTS; BIT ERROR RATE; COMPUTER SOFTWARE; PROJECT MANAGEMENT; SOFTWARE ENGINEERING; SPACE SHUTTLES;

DESIGN ERRORS; HIGH LEVEL PROGRAMMING LANGUAGE; SIEMENS TRANSPORTATION SYSTEMS (CO); VAL SHUTTLE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24644509326     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11415787_20     Document Type: Conference Paper

References (6)

1. [Abr96] Abrial, J.-R., Extending B Without Changing it (for Developing Distributed Systems), 1996
2. [BBook96] Abrial, J.-R., The B-Book: Assigning Programs to Meanings, 1996
3. [Behm99] Behm P., Benoit P., Faivre A. and Meynadier J.-M., Météor: A Successful Application of B in a Large Project, 1999
4. [Burd99] Burdy L, Meynadier J.-M., Automatic Refinement; BUGM at FM'99, 1999
5. [Dol03] Dollé D., Essamé D., Falampin J., B dans le transport ferroviaire, l'expérience de Siemens, Technique et science informatiques - volume 22, 2003
6. [MRefB02] Badeau F., B Language Reference Manual vl.8.5, 2002