Reliable Software Technologies - Ada-Europe 2001

Reliable Software Technologies - Ada-Europe 2001
Author :
Publisher : Springer
Total Pages : 420
Release :
ISBN-10 : 9783540451365
ISBN-13 : 3540451366
Rating : 4/5 (366 Downloads)

Book Synopsis Reliable Software Technologies - Ada-Europe 2001 by : Dirk Craeynest

Download or read book Reliable Software Technologies - Ada-Europe 2001 written by Dirk Craeynest and published by Springer. This book was released on 2003-06-29 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Reliable Software Technologies - Ada-Europe 2001 Related Books

Reliable Software Technologies - Ada-Europe 2001
Language: en
Pages: 420
Authors: Dirk Craeynest
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

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-
Reliable Software Technologies - ADA-Europe 2001
Language: en
Pages: 428
Authors: Dirk Craeynest
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Reliable Software Technologies - Ada-Europe 2001
Language: en
Pages: 412
Authors: Dirk Craeynest
Categories: Computers
Type: BOOK - Published: 2001-05-02 - Publisher: Springer

GET EBOOK

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-
Reliable Software Technologies - Ada-Europe 2001
Language: en
Pages: 412
Authors: Dirk Craeynest
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

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-
Reliable Software Technologies - Ada-Europe 2007
Language: en
Pages: 258
Authors: Nabil Abdennahder
Categories: Computers
Type: BOOK - Published: 2007-06-30 - Publisher: Springer

GET EBOOK

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software tec