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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-48046-3
  • 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace