Lecture Notes in Computer Science

Reliable Software Technologies - Ada Europe 96

1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings

Editors: Strohmeier, Alfred (Ed.)

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-68457-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-61317-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (39 chapters)

  • Programming the Internet in Ada 95

    Taft, S. Tucker

    Pages 1-16

  • Reliability modeling for safety critical software

    Schneidewind, Norman F.

    Pages 17-37

  • Fault-tolerance by replication in distributed systems

    Guerraoui, Rachid (et al.)

    Pages 38-57

  • Ada95: An effective concurrent programming language

    Burns, A. (et al.)

    Pages 58-77

  • Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries

    Puente, Juan Antonio (et al.)

    Pages 78-88

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-68457-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-61317-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies - Ada Europe 96
Book Subtitle
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
Editors
  • Alfred Strohmeier
Series Title
Lecture Notes in Computer Science
Series Volume
1088
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68457-2
DOI
10.1007/BFb0013474
Softcover ISBN
978-3-540-61317-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 520
Topics