Abstract is missing.
- Support of Technology Development in the Information SocietyRainer Zimmermann. 1
- Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and JavaReto Weiss. 2-3
- Ada after 10 Years of Usage - Is There a Commercial Future?Bryan Pflug. 4
- An Open Ravenscar Real-Time Kernel for GNATJuan Antonio de la Puente, José F. Ruiz, Juan Zamorano. 5-15
- Object-Oriented Programming and Protected Objects in Ada 95Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell. 16-28
- Is an Ada Lint Necessary?Björn Källberg. 29-40
- Using Java:::TM::: APIs with Native Ada CompilersShayne Flint, Brian Dobbing. 41-55
- Static Worst-Case Execution Time Analysis of Synchronous ProgramsThomas Ringler. 56-68
- A Supporting Tool for Development of Self-Measurement Ada ProgramsYusuke Nonaka, Jingde Cheng, Kazuo Ushijima. 69-81
- On Persistent and Reliable Streaming in AdaJörg Kienzle, Alexander B. Romanovsky. 82-95
- Reengineering the Booch Component LibraryJordi Marco, Xavier Franch. 96-111
- GtkAda: Design and Implementation of a High Level Binding in AdaEmmanuel Briot, Joël Brobecker, Arnaud Charlet. 112-124
- ASIS-for-GNAT: A Report of Practical ExperiencesSergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov. 125-137
- Generation of Interface Design Description Documents Using ASISSteven V. Hovater, William Marksteiner, Allen Butturini. 138-148
- An Ada95 Programming Style Checker Using the GNAT ASIS ImplementationPatrick Closhen, Hans-Jürgen Hoffmann. 149-160
- Enhancements in Software Project Risk ManagementPeter Wieland, Frode Høgberg, Kristin Strømseng. 161-172
- Constructing Reliable Embedded Systems Using the Results of System Safety AnalysisGiuseppe Mauri, Stefan Scheer. 173-184
- An Application of the Chains-of-Rare-Events Model to Software Development Failure PredictionNéstor R. Barraza, Jonás D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi. 185-195
- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95Detlef Schmitt. 196-210
- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software ProjectThierry Lacomme, Séverine Carles, Agusti Canals, François Normend. 211-224
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsJohann Blieberger, Bernd Burgstaller, Bernhard Scholz. 225-237
- Exceptions in OO Languages: Using Them and Reasoning about ThemNeelam Soundarajan, Stephen Fridella. 238-251
- (True) Polymorphism in SPARK2000Tse-Min Lin, John A. McDermid. 252-265
- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral SimulationMahesh Deshpande, Frank P. Coyle, Jeff Tian. 266-279
- Results of an Investigation into Software Integration Testing AutomationSimon Kiteley, Jonathan Draper. 280-290
- On the Minimal Essential Subsets and Minimal Representative SetsTsong Yueh Chen, Man Fai Lau. 291-301