Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings by Hubertus B. KellerReliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings by Hubertus B. Keller

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam…

EditorHubertus B. Keller, Erhard Plödereder

Paperback | June 14, 2000

Pricing and Purchase Info

$141.95

Earn 710 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam…Format:PaperbackDimensions:320 pages, 9.17 × 6.1 × 0 inPublished:June 14, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540676694

ISBN - 13:9783540676690

Look for similar items by category:

Reviews

Table of Contents

Invited Presentations.- Support of Technology Development in the Information Society.- Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java.- Ada after 10 Years of Usage - Is There a Commercial Future?.- An Open Ravenscar Real-Time Kernel for GNAT.- Real-Time and Safety-Critical Systems.- Object-Oriented Programming and Protected Objects in Ada 95.- Is an Ada Lint Necessary?.- Session: Tools.- Using JavaTM APIs with Native Ada Compilers.- Static Worst-Case Execution Time Analysis of Synchronous Programs.- A Supporting Tool for Development of Self-Measurement Ada Programs.- Session: APIs and Components.- On Persistent and Reliable Streaming in Ada.- Reengineering the Booch Component Library.- GtkAda: Design and Implementation of a High Level Binding in Ada.- Session: ASIS.- ASIS-for-GNAT: A Report of Practical Experiences.- Generation of Interface Design Description Documents Using ASIS.- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation.- Session: Risk and Reliability Management.- Enhancements in Software Project Risk Management.- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis.- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction.- Session: UML.- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95.- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project.- Session: Formal Analysis Methods.- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.- Exceptions in OO Languages: Using Them and Reasoning about Them.- (True) Polymorphism in SPARK2000.- Session: Testing.- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation.- Results of an Investigation into Software Integration Testing Automation.- On the Minimal Essential Subsets and Minimal Representative Sets.