Ada-Europe 2000: Potsdam, Germany

@proceedings{DBLP:conf/adaEurope/2000,
  editor    = {Hubert B. Keller and
               Erhard Pl{\"o}dereder},
  title     = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe
               International Conference, Potsdam, Germany, June 26-30, 2000,
               Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1845},
  year      = {2000},
  isbn      = {3-540-67669-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

• Rainer Zimmermann: Support of Technology Development in the Information Society. 1 BibTeX
• Reto Weiss: Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java. 2-3 BibTeX
• Bryan Pflug: Ada after 10 Years of Usage - Is There a Commercial Future? 4 BibTeX
• Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano: An Open Ravenscar Real-Time Kernel for GNAT. 5-15 BibTeX

Real-Time and Safety-Critical Systems

• Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell: Object-Oriented Programming and Protected Objects in Ada 95. 16-28 BibTeX
• Björn Källberg: Is an Ada Lint Necessary? 29-40 BibTeX

Session: Tools

• Shayne Flint, Brian Dobbing: Using Java^TM APIs with Native Ada Compilers. 41-55 BibTeX
• Thomas Ringler: Static Worst-Case Execution Time Analysis of Synchronous Programs. 56-68 BibTeX
• Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima: A Supporting Tool for Development of Self-Measurement Ada Programs. 69-81 BibTeX

Session: APIs and Components

• Jörg Kienzle, Alexander B. Romanovsky: On Persistent and Reliable Streaming in Ada. 82-95 BibTeX
• Jordi Marco, Xavier Franch: Reengineering the Booch Component Library. 96-111 BibTeX
• Emmanuel Briot, Joël Brobecker, Arnaud Charlet: GtkAda: Design and Implementation of a High Level Binding in Ada. 112-124 BibTeX

Session: ASIS

• Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov: ASIS-for-GNAT: A Report of Practical Experiences. 125-137 BibTeX
• Steven V. Hovater, William Marksteiner, Allen Butturini: Generation of Interface Design Description Documents Using ASIS. 138-148 BibTeX
• Patrick Closhen, Hans-Jürgen Hoffmann: An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. 149-160 BibTeX

Session: Risk and Reliability Management

• Peter Wieland, Frode Høgberg, Kristin Strømseng: Enhancements in Software Project Risk Management. 161-172 BibTeX
• Giuseppe Mauri, Stefan Scheer: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis. 173-184 BibTeX
• Néstor R. Barraza, Jonás D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi: An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction. 185-195 BibTeX

Session: UML

• Detlef Schmitt: Analysis, Design and Implementation of an Object-Oriented Framework in Ada95. 196-210 BibTeX
• Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend: MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project. 211-224 BibTeX

Session: Formal Analysis Methods

• Johann Blieberger, Bernd Burgstaller, Bernhard Scholz: Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. 225-237 BibTeX
• Neelam Soundarajan, Stephen Fridella: Exceptions in OO Languages: Using Them and Reasoning about Them. 238-251 BibTeX
• Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. 252-265 BibTeX

Session: Testing

• Mahesh Deshpande, Frank P. Coyle, Jeff Tian: Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. 266-279 BibTeX
• Simon Kiteley, Jonathan Draper: Results of an Investigation into Software Integration Testing Automation. 280-290 BibTeX
• Tsong Yueh Chen, Man Fai Lau: On the Minimal Essential Subsets and Minimal Representative Sets. 291-301 BibTeX