Ada-Europe 1994: Copenhagen, Denmark

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