Table of contents

  1. Front Matter
  2. S. Tucker Taft
    Pages 1-16
  3. Norman F. Schneidewind
    Pages 17-37
  4. Rachid Guerraoui, André Schiper
    Pages 38-57
  5. A. Burns, A. J. Wellings
    Pages 58-77
  6. Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
    Pages 78-88
  7. Hyoseob Kim, Cornelia Boldyreff
    Pages 89-100
  8. Philippe Krachten, Christopher J. Thompson
    Pages 101-110
  9. David Emery, Jas Madhur
    Pages 111-122
  10. Jingde Cheng, Kazuo Ushijima
    Pages 135-146
  11. T. Y. Chen, Y. T. Yu
    Pages 147-158
  12. Dan Craigen, Mark Saaltink, Steve Michell
    Pages 171-182
  13. Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
    Pages 198-210
  14. Kristina Lundqvist, Göran Wall
    Pages 211-222
  15. Göran Wall, Kristina Lundqvist
    Pages 223-234
  16. J. Miranda, A. Alvarez, S. Arévalo, F. Guerra
    Pages 235-246
  17. Benjamin M. Brosgol
    Pages 247-261

About these proceedings


This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.


Ada Ada 95 Programming language A compiler distributed systems programming programming language real-time security tools validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61317-6
  • Online ISBN 978-3-540-68457-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book