Reliable Software Technologies — Ada-Europe 2002

7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings

  • Johann Blieberger
  • Alfred Strohmeier
Conference proceedings Ada-Europe 2002

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

    1. Mehdi Jazayeri
      Pages 13-23
    2. Assia Doudou, Benoît Garbinato, Rachid Guerraoui
      Pages 24-50
  3. Embedded Systems

    1. Jose Manuel Pérez Lobato, Eva Martín Lobo
      Pages 76-87
    2. Michael Ward, Neil C. Audsley
      Pages 88-99
  4. Case Studies

    1. Francisco J. Ortiz, Alejandro S. Martínez3, Barbara Álvarez, Andres Iborra, José M. Fernández
      Pages 113-124
  5. Real-Time Systems

    1. Mario Aldea Rivas, Michael González Harbour
      Pages 136-150
  6. High-Integrity Systems

  7. Ada Language

    1. Javier Miranda, Francisco Guerra, Ernestina Martel, José Martín, Alexis González
      Pages 179-192
    2. Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
      Pages 193-204
  8. Program Analysis

    1. Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
      Pages 219-230
    2. Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf
      Pages 231-244
  9. Tools

    1. Sergey Rybin, Alfred Strohmeier
      Pages 257-268
    2. Ernestina Martel, Francisco Guerra, Javier Miranda
      Pages 269-281
  10. Distributed Systems

    1. Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour
      Pages 282-296
    2. Luís Miguel Pinho, Francisco Vasques
      Pages 297-308
    3. Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo
      Pages 309-320
  11. Libraries, APIs, and Bindings

    1. Agustín Espinosa Minguet, Ana García Fornes, Alfons Crespo i Lorente
      Pages 321-333
    2. Michael Erdmann
      Pages 334-343
  12. Object-Orientation

    1. Jean-Pierre Rosen
      Pages 344-356
    2. Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente
      Pages 357-366
  13. Back Matter
    Pages 367-367

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.


Ada Ada-Programming Dependable Computing Distributed Computing Embedded Systems Formal Methods Java Program Analysis Reliable Systems XML design distributed systems modeling programming robot

Editors and affiliations

  • Johann Blieberger
    • 1
  • Alfred Strohmeier
    • 2
  1. 1.Institute of Computer-Aided AutomationTechnical University ViennaViennaAustria
  2. 2.Swiss Federal Institute of Technology Lausanne (EPFL)LausanneSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43784-0
  • Online ISBN 978-3-540-48046-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment