Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science) (Paperback)

~ Hubertus B. Keller (Editor), Erhard Plödereder (Editor) "The Ravenscar Profile [4,6] is the best known result of the 8th International Real-Time Ada Workshop (IRTAW8)..." (more)
Key Phrases: Springer-Verlag Berlin Heidelberg, Lecture Notes, Sergey Rybin (more...)

Editorial Reviews

Product Description

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

Product Details

• Paperback: 304 pages
• Publisher: Springer; 1 edition (June 22, 2000)
• Language: English
• ISBN-10: 3540676694
• ISBN-13: 978-3540676690
• Product Dimensions: 9.2 x 6.1 x 0.7 inches
• Shipping Weight: 14.4 ounces (View shipping rates and policies)
• Average Customer Review: No customer reviews yet. Be the first.
• Amazon.com Sales Rank: #5,193,457 in Books (See Bestsellers in Books)