Table of contents

  1. Front Matter
  2. Bernd Holzmüller, Erhard Plödereder
    Pages 1-12
  3. Michael B. Feldman
    Pages 23-34
  4. J. E. Cooling, N. Duff, J. Cooling
    Pages 35-45
  5. Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
    Pages 46-55
  6. Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen
    Pages 56-63
  7. Joachim Wegener, Ines Fey
    Pages 64-75
  8. M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
    Pages 125-136
  9. R. H. Pierce, Sandra Ayache, R. Ward, J. Stevens, Helen Clifton, J. Galle
    Pages 137-148
  10. A. J. Wellings, A. Burns, O. Pazy
    Pages 149-160
  11. Wolfgang Gellerich, Erhard Ploedereder
    Pages 161-172
  12. John English
    Pages 185-195
  13. Vincent M. Celier, Drasko Sotirovski, Christopher J. Thompson
    Pages 209-217

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.

Keywords

Ada Ada 95 Ada program libraries Ada tools Ada-Programmbibliotheken Ada-Programmierung Ada-Tools Ada-programming C programming language Sicherheitsrelevante Systeme inheritance object oriented design programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63114-3
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63114-9
  • Online ISBN 978-3-540-69150-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace