Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Lecture Notes in Computer Science

Reliable Software Technologies - Ada-Europe 2001

6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings

Editors: Craeynest, Dirk, Strohmeier, Alfred (Eds.)

Free Preview

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-45136-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-42123-8
  • 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

The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements.

Table of contents (32 chapters)

Table of contents (32 chapters)
  • Building Formal Requirements Models for Reliable Software

    Pages 1-20

    Lamsweerde, Axel

  • Using Ada in Interactive Digital Television Systems

    Pages 21-34

    Héraud, Pascal (et al.)

  • Testing from Formal Specifications, a Generic Approach

    Pages 35-48

    Gaudel, Marie-Claude

  • Logic versus Magic in Critical Systems

    Pages 49-67

    Amey, Peter

  • Can Java™ Meet Its Real-Time Deadlines?

    Pages 68-87

    Brosgol, Benjamin (et al.)

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-45136-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-42123-8
  • 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 2001
Book Subtitle
6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
Editors
  • Dirk Craeynest
  • Alfred Strohmeier
Series Title
Lecture Notes in Computer Science
Series Volume
2043
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45136-5
DOI
10.1007/3-540-45136-6
Softcover ISBN
978-3-540-42123-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVI, 412
Topics