Ada-Europe 2000: Potsdam, Germany

Invited Presentations

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

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
  
• Björn Källberg:
  Is an Ada Lint Necessary? 29-40
  

Session: Tools

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

Session: APIs and Components

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

Session: ASIS

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

Session: Risk and Reliability Management

• Peter Wieland, Frode Høgberg, Kristin Strømseng:
  Enhancements in Software Project Risk Management. 161-172
  
• Giuseppe Mauri, Stefan Scheer:
  Constructing Reliable Embedded Systems Using the Results of System Safety Analysis. 173-184
  
• 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
  

Session: UML

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

Session: Formal Analysis Methods

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

Session: Testing

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