Reliable Software Technologies – Ada-Europe 2009

Fabrice Kordon (1) , Yvon Kermarrec (2, 3)

1 MoVe - Modélisation et Vérification
2 Lab-STICC_TB_CACS_MOCS
3 LUSSI - Département Logique des Usages, Sciences sociales et Sciences de l'Information

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Domaines: Ordinateur et société [cs.CY]

Fabrice Kordon, Yvon Kermarrec. Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. 5570, Springer Berlin Heidelberg, 2009, Lecture Notes in Computer Science, 978-3-642-01923-4. ⟨10.1007/978-3-642-01924-1⟩. ⟨hal-00426649⟩