Reliable Software Technologies – Ada-Europe 2009

14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

  • Fabrice Kordon
  • Yvon Kermarrec
Conference proceedings Ada-Europe 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5570)

Table of contents

  1. Front Matter
  2. Alessandro Zovi, Tullio Vardanega
    Pages 1-15
  3. Santiago Urueña, Juan Zamorano, Juan A. de la Puente
    Pages 16-29
  4. Julien Delange, Laurent Pautet, Peter Feiler
    Pages 30-43
  5. Man Fai Lau, Yuen Tak Yu
    Pages 44-58
  6. Francisco J. Montoya-Dato, José Luis Fernández-Alemán, Ginés García-Mateos
    Pages 75-89
  7. Claude Kaiser, Jean-François Pradat-Peyre
    Pages 90-104
  8. Mario Aldea Rivas, Michael González Harbour, José F. Ruiz
    Pages 105-118
  9. Alan Burns, Andy J. Wellings, Fengxiang Zhang
    Pages 119-133
  10. Amine Marref, Guillem Bernat
    Pages 134-148
  11. Sergio Sáez, Silvia Terrasa, Vicente Lorente, Alfons Crespo
    Pages 149-163
  12. José L. Fernández Sánchez, Gloria Mármol Acitores
    Pages 164-176
  13. Liliana Favre
    Pages 177-191
  14. Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
    Pages 192-206
  15. Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
    Pages 207-221
  16. Oleg Sokolsky, Insup Lee, Duncan Clarke
    Pages 222-236
  17. Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérome Hugues
    Pages 237-250
  18. Eric Le Pors, Olivier Grisvard
    Pages 251-265
  19. Christine Choppy, Olivier Bertrand, Patrice Carle
    Pages 266-281
  20. Back Matter

About these proceedings


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.


Java Middleware code generation embedded systems high-integrity environment metamodeling model checking modeling petri nets process algebra programming real-time systems software architecture testing verification

Editors and affiliations

  • Fabrice Kordon
    • 1
  • Yvon Kermarrec
    • 2
  1. 1.Université P. & M. Curie, LIP6 - CNRS UMR 7606Paris cedex 05France
  2. 2.Telecom Bretagne, Technopôle Brest-Iroise, CS 83818Brest cedex 3France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01923-4
  • Online ISBN 978-3-642-01924-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software