Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. ProceedingsAuthor: Hubert B. Keller, Erhard Plödereder Published by Springer Berlin Heidelberg ISBN: 978-3-540-67669-0 DOI: 10.1007/10722060Table of Contents: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 Object-Oriented Programming and Protected Objects in Ada 95 Is an Ada Lint Necessary? 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 On Persistent and Reliable Streaming in Ada Reengineering the Booch Component Library GtkAda: Design and Implementation of a High Level Binding in Ada 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 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 Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project, Includes bibliographical references and index