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.
Author(s): Rainer Zimmermann (auth.), Hubert B. Keller, Erhard Plödereder (eds.)
Series: Lecture Notes in Computer Science 1845
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 306
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks
Front Matter....Pages -
Support of Technology Development in the Information Society....Pages 1-1
Kingcat MCAS – Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java....Pages 2-3
Ada after 10 Years of Usage – Is There a Commercial Future?....Pages 4-4
An Open Ravenscar Real-Time Kernel for GNAT....Pages 5-15
Object-Oriented Programming and Protected Objects in Ada 95....Pages 16-28
Is an Ada Lint Necessary?....Pages 29-40
Using Java TM APIs with Native Ada Compilers....Pages 41-55
Static Worst-Case Execution Time Analysis of Synchronous Programs....Pages 56-68
A Supporting Tool for Development of Self-Measurement Ada Programs....Pages 69-81
On Persistent and Reliable Streaming in Ada....Pages 82-95
Reengineering the Booch Component Library....Pages 96-111
GtkAda: Design and Implementation of a High Level Binding in Ada....Pages 112-124
ASIS-for-GNAT: A Report of Practical Experiences....Pages 125-137
Generation of Interface Design Description Documents Using ASIS....Pages 138-148
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation....Pages 149-160
Enhancements in Software Project Risk Management....Pages 161-172
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis....Pages 173-184
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction....Pages 185-195
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95....Pages 196-210
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project....Pages 211-224
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs....Pages 225-237
Exceptions in OO Languages: Using Them and Reasoning about Them....Pages 238-251
(True) Polymorphism in SPARK2000....Pages 252-265
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation....Pages 266-279
Results of an Investigation into Software Integration Testing Automation....Pages 280-290
On the Minimal Essential Subsets and Minimal Representative Sets....Pages 291-301
Back Matter....Pages -
