Abstract is missing.
- Opening Address: Ada 9XChris Anderson. 1-10
- Run-Time Check Elimination for Ada 9XPeter Lützen Møller. 11-23
- Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking ModelJacques Sevestre, Jacques Brygier. 24-32
- Merging Ada 9X and C++ in a Graphics System Software ArchitectureJordan R. Kayloe, Patricia K. Lawlis. 33-42
- The AECSS Fault Tolerant Distributed Ada Testbed and ApplicationPatrick Rogers, Marc Pitarys. 43-59
- A Front-End to HOOD - The Clyder Requirements Engineering MethodJacques Hagelstein, Dominique Roelants. 60-62
- Tool Support for High Integrity Ada SoftwareA. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson. 63-75
- Testing Ada Abstract Data Types Using Formal SpecificationsStéphane Barbey, Didier Buchs. 76-89
- Formal Methods for a Space Software Development EnvironmentP. Taylor. 90-103
- Object Orientation is not Always Best!Roger Ward, John Stevens. 104-110
- Beyond Abstract Data Types: Giving Life to ObjectsDrasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten. 111-120
- Test Methods and Tools for SOHO Mass Memory Unit SoftwarePaul Arberet, Laurent Desplas. 121-129
- Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed DevelopmentsMaurice Heitz. 130-146
- A New Approach for HOOD/Ada MappingPierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin. 147-154
- Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented MethodsHeinz Schneeweiss. 155-161
- How Should Military Ada Software be Documented?Lewis Gray. 162-169
- Evolving an Ada Curriculum to 9XJohn R. Rymer. 170-174
- Recommendations and Proposals for an Ada Strategy in the Space Software Development EnvironmentLeslie P. Gale. 175-203
- Life*ADA: An APSE Integrating Multiple CompilerSteen Ulrik Palm. 204-214
- Extended Application of Ada to Cover ECBS with O4SIngmar Ögren. 215-230
- Development of a Lightweight Object-Based Software Process Model Under Pragmatic ConstraintsFernando J. Nuñez, Rafael Prades. 231-257
- ESSPASE - European Space Software Product Assurance Support EnvironmentFranco Correrini, Paolo Panaroni. 258-269
- Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-AltimeterS. Francola, M. Manigrasso. 270-281
- A Knowledge-Based System for Diagnosis in Veterinary MedicineGérard Brunet. 282-287
- Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission ControlF. Ciceri, L. Marradi. 288-301
- Safety Aspects of the Ariane 5 On-Board SoftwareSteven A. Birnie. 302-321
- Ada Controls the European Robotic ArmJeroen J. M. Wiggers, Marc J. A. Oort. 322-332
- Automatic Generation of Ada Source Code for the Rafale Mission ComputerHervé Le Doeuff. 333-348
- How to Avoid and Control Proliferation of New Ada Real Time ExtensionsNasser Kettani. 349-354
- A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9XPatrick de Bondeli. 355-386
- Interfacing Computer Communications from Ada in a Diverse and Evolving EnvironmentSlobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski. 387-396
- Cost-Benefit Analysis for Software-Reuse - A Decision ProcedureHolger Noseck. 397-405
- Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time SystemsGilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers. 406-420
- Distribution of Tasks within a Centrally Scheduled Local Area NetworkLars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund. 421-432
- Handling Interrupts in Ada 9XJoyce L. Tokar. 433-439
- Tuning Ada Programs in AdvanceRainer Gerlich, Uwe Wagner. 440-464
- CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board ApplicationsJean Abadie, Béatrice Busquere. 465-482
- Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code AnalysisPeter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr. 483-488
- FAA Certification of Ada Run-Time SystemsSteen Silberg, Thorkil B. Rasmussen. 489-498
- Panel on Safety and Reliability, held on September 28, 1994Finn Hass. 499-508
- Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD)John A. Anderson. 509-521