 |
|
|
Item Details
| Title:
|
RELIABLE SOFTWARE TECHNOLOGIES
5TH ADA-EUROPE INTERNATIONAL CONFERENCE POTSDAM, GERMANY, JUNE 26-30, 2000, PROCEEDINGS |
| By: |
Herbert B. Keller, Erhard Pleodereder |
| Format: |
Paperback |
| List price:
|
£72.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540676694 |
| ISBN 13: |
9783540676690 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
14 June, 2000 |
| Edition: |
2000 ed. |
| Series: |
Lecture Notes in Computer Science v. 1845 |
| Pages: |
319 |
| Description: |
These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing. |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|