Advertisement

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
  18. Jorge Real, Agustín Espinosa, Alfons Crespo
    Pages 262-274
  19. Dong-Ik Oh, T. P. Baker, Seung-Jin Moon
    Pages 275-286
  20. David Mundie, John Fardo, Ed Kuzemchak
    Pages 287-297
  21. Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasily Fofanov
    Pages 298-311
  22. Drasko Sotirovski, Philippe Kruchten
    Pages 312-318
  23. Tim Birus, Christine Cipriani, Dean Sutherland
    Pages 319-329
  24. Johann Blieberger, Roland Lieger, Bernd Burgstaller
    Pages 330-341
  25. Michael J. Oudshoorn, Stephen C. Crawley
    Pages 342-356
  26. Bernd Holzmüller
    Pages 357-369
  27. Wolfgang Gellerich, Markus Kosiol, Erhard Ploedereder
    Pages 385-395
  28. David E. Emery, Richard F. Hilliard II, Timothy B. Rice
    Pages 471-484
  29. Roland Feith, Michael Tonndorf
    Pages 500-511
  30. Back Matter

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013474
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site