Ada+B the formula for safety critical software development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1411, Issue , 1998, Pages 14-18

  Chapront, Pierre ^a  

^a GEC Alsthom Transport   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0344861488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0054990     Document Type: Conference Paper

References (3)

1. See, for example Ian Sommerville & Pete Sawyer: Requirements engineering, a good practice guide; (Wiley 1997)
2. J.R. Abrial the B. Book: Assigning programs to meanings, (Cambridge University Press 1996)
3. REAIMS web pages are available at URL: http://www. comp.lancs.ac.uk/computing/research/cseg/projects/reaims