Advertisement

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
  14. F. Guerra, J. Miranda, A. Alvarez, S. Arévalo
    Pages 230-243
  15. Brian Dobbing, Marc Richard-Foy
    Pages 244-253
  16. A. Romanovsky, S. E. Mitchell, A. J. Wellings
    Pages 254-265
  17. S. R. Waterman
    Pages 278-291
  18. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering