Reliable Software Technologies – Ada-Europe 2008

13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

  • Editors
  • Fabrice Kordon
  • Tullio Vardanega
Conference proceedings Ada-Europe 2008
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5026)

Table of contents

  1. Front Matter
  2. Santiago Urueña, José A. Pulido, Jorge López, Juan Zamorano, Juan A. de la Puente
    Pages 1-14
  3. Iulian Ober, Nicolas Halbwachs
    Pages 30-43
  4. Irfan Hamid, Elie Najm
    Pages 44-58
  5. Christine Choppy, Laure Petrucci, Gianna Reggio
    Pages 73-86
  6. Laura Carnevali, Leonardo Grassi, Enrico Vicario
    Pages 87-100
  7. Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
    Pages 101-114
  8. Raul Fechete, Georg Kienesberger, Johann Blieberger
    Pages 130-143
  9. Florian Villoing, Emmanuel Briot
    Pages 144-157
  10. Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez
    Pages 158-170
  11. Sherif F. Fahmy, Binoy Ravindran, E. D. Jensen
    Pages 211-225
  12. Frank Singhoff, Alain Plantec, Pierre Dissaux
    Pages 240-253
  13. Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina
    Pages 254-267

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.

The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.

Keywords

Ada Ada programming language UML XML concurrency modeling dependable computing distributed systems embedded systems fault recovery formal methods formal verification metamodeling model-driven architectures real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68624-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68621-7
  • Online ISBN 978-3-540-68624-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book