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 $99.00
price for USA
  • The eBook version of this title will be available soon
  • 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 $129.00
price for USA
  • ISBN 978-3-540-61317-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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 (5 chapters)

  • Fault-tolerance by replication in distributed systems

    Rachid Guerraoui, André Schiper

    Pages 38-57

  • An approach to increasing software component reusability in Ada

    Hyoseob Kim, Cornelia Boldyreff

    Pages 89-100

  • Secure communication in distributed Ada

    Jörg Kienzle, Thomas Wolf, Alfred Strohmeier

    Pages 198-210

  • The dining philosophers in Ada 95

    Benjamin M. Brosgol

    Pages 247-261

  • The funds management modernization: Experiences with developing an object oriented, client-server management information system in Ada95

    Ilt Chad Bremmon

    Pages 427-438

Buy this book

eBook $99.00
price for USA
  • The eBook version of this title will be available soon
  • 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 $129.00
price for USA
  • ISBN 978-3-540-61317-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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