Logo - springer
Slogan - springer

Computer Science - Software Engineering | Reliable Software Technologies Ada-Europe 2000 - 5th Ada-Europe International Conference Potsdam,

Reliable Software Technologies Ada-Europe 2000

5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings

Keller, Hubertus B., Plödereder, Erhard (Eds.)

2000, XIII, 306 p.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-540-45098-6

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-540-67669-0

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • About this book

The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26–30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu ¨r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year’s conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the ?fth year of a conference focusing on the g- eral area of software reliability, in which Ada excels as one of the supporting technologies. The Y2K problem has put the importance of software reliability into the limelight of media and political attention. Luckily, the dire predictions about potentially disastrous failures of critical systems did not prove true at the turn of the year, most likely because an incredible e?ort was made to update existing software, modernize systems, check-out backup mechanisms, and so on. One cannot but wonder how much more reliable the software could have been if only apercentageofthefundsspentontheY2Kproblemhadgoneintoenhancements of reliability during the development and maintenance of the software.

Content Level » Research

Keywords » Ada - Ada 95 - Ada-programming - Compiler - Java - Unified Modeling Language (UML) - dependable systems - embedded systems - object oriented design - program analysis - programming - real-time - risk management - safety-critical systems - software architecture

Related subjects » Communication Networks - Software Engineering

Table of contents / Preface 

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Programming Languages, Compilers, Interpreters.