Abstract is missing.
- Ada: A Sceptical AssessmentJean-François Kaufeler. 1-3
- Ada95 - An Approach to Overcome the Software Crisis?Karlotto Mangold. 4-10
- Safe Ada Executive: An Executive for Ada Safety Critical ApplicationsMarc Richard-Foy. 11-20
- Developing Fault Tolerant Software in Ada for Real-Time Dependable SystemsP. David, T. Planche, A. Corrégé, J.-F. Chane. 21-50
- The Practical Application of Safety Techniques on an Ada Based ProjectRupert Brown. 51-57
- Ada in Mixed Language ApplicationsG. Taurisano, I. Williams. 58-70
- Heterogeneous Data Structures and Cross-Classification of Objects with Ada95Magnus Kempe. 71-80
- An ANDF Based Ada 95 Compiler SystemJørgen Bundgaard. 81-98
- Performance Tuning of a Check-Out System Coded in AdaBernt Rognes, Per Ivar Skinderhaug. 99-110
- Ariane 5: Development of the On-Board SoftwareJean-Noel Monfort, Vinh Qui Ribal. 111-123
- PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.SAndré Laurens. 124-138
- ASIS for GNAT: Goals, Problems and Implementation StrategySergey Rybin, Alfred Strohmeier, Eugene Zueff. 139-151
- KBSE and Ada - Object and Enabling TechnologyPaul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman. 152-163
- Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time SystemsTim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar. 164-169
- The Use of Ada for the ENVISAT-1 SimulatorB. Davies, D. A. Rothwell. 170-177
- Objects at Use in Nautical SimulatorsKor Molenmaker. 178-186
- DIS - An Interface to Distributed Interactive SimulationPeter E. Obermayer, Georg Schüer, Rudolf Landwehr. 187-190
- PARIS - Partitioned Ada for Remotely Invoked ServicesAnthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu. 191-205
- Programming Distributed Systems with Both Ada 95 and PVMYvon Kermarrec, Laurent Pautet. 206-216
- Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA ApproachZièd Choukair, Yvon Kermarrec. 217-227
- Distributed and Parallel Systems and HOOD 4Rainer Gerlich, Mladen Kerep. 228-243
- ReverseNICE: A Re-Engineering Methodology and Supporting ToolMarco Battaglia, Giancarlo Savoia. 244-248
- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95Heinz Schneeweiss, V. Amiot, O. Vix. 249-270
- The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-CycleRik Simoens. 271-283
- Modeling and Validation of Tasks with Algebraic Structured NetsDidier Buchs, C. Buffard, P. Racloz. 284-297
- Design of Concurrent Software Based on Problem ConcurrencyBo Sanden. 298-310
- ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and AdaAndrew Matthewman. 311-330
- Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control ApplicationA. Alapide, S. Candia, M. Cinella, S. Quaranta. 331-343
- Breaking Through the V and V BottleneckMartin Croxford, James Sutton. 344-354
- Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in AdaFrançois Bossard. 355-364
- Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOODPete Cornwell, Andy J. Wellings. 365-378
- Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC)F. Battini, P. L. Mantovani, Marco Mattavelli. 379-388
- Ada and Timed AutomataLars Björnfot. 389-405
- Testing Ada 95 Object-Oriented ProgramsStéphane Barbey. 406-418
- Achieving Reusable and Reliable Client-Server Code using HOOD:::TM::: Automated Code Generation for ADA95 and C++ TargetsMaurice Heitz. 419-438
- Round Table Discussion: Tools and Design Methods Finn Hass. 439-443
- LAMPBADA: Logiciel d Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool)D. De Gabaï. 444-455