• New Heavens and New Earth
  • The Bone Collector: The First Lincoln Rhyme Novel
  • Dead Heat (Thorndike Press Large Print Core Series)
  • Narrative of the Life of Frederick Douglass
  • Treasure Island
  • Sens interdit
  • Fiji sketchbook (The Sketchbook series)
  • Wilde Schafsjagd.
  • Anne of Green Gables
  • The Environmental Communication Yearbook: Volume 3
  • Through My Eyes: Memoirs of Hitler's Berlin
  • Robinson Crusoe
  • Linux - Guia Practica Con CD ROM (Spanish Edition)
  • The Palgrave Concise Historical Atlas of the Cold War
  • Othello (The Everyman's Library)
» » Reliable Software Technologies - Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May ... (Lecture Notes in Computer Science)

Reliable Software Technologies - Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May ... (Lecture Notes in Computer Science) by Dirk Craeynest,Alfred Strohmeier

Reliable Software Technologies - Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May ... (Lecture Notes in Computer Science)
Title:
Reliable Software Technologies - Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May ... (Lecture Notes in Computer Science)
Author:
Dirk Craeynest,Alfred Strohmeier
ISBN:
3540421238
ISBN13:
978-3540421238
Size fb2:
1442 kb
Size epub:
1988 kb
Publisher:
Springer; 2001 edition (June 15, 2001)
Language:
English
Pages:
412 pages
Other formats:
rtf azw lit doc
Rating:
4.1
Votes:
103
Category:
Computers & Technology
Subcategory:
Computer Science
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.

Other pdf / epub / fb2 Books