Abstract is missing.
- Embedded OpportunitiesFranco Gasperoni. 1-13 [doi]
- Ada+B The Formula for Safety Critical Software DevelopmentPierre Chapront. 13-18 [doi]
- Porting the GNAT Tasking Runtime System to the Java Virtual MachineLaurent Millet, Ted Baker. 19-28 [doi]
- Automating the Ada Binding Process for Java- How Far Can We Go?David E. Emery, Robert F. Mathias, Karl A. Nyberg. 29-40 [doi]
- Synchronizing Multiple Clients and ServersMordechai Ben-Ari. 41-52 [doi]
- How to Avoid the Inheritance Anomaly in AdaGuido Schumacher, Wolfgang Nebel. 53-64 [doi]
- Inside the Distributed Systems AnnexLaurent Pautet, Samuel Tardieu. 65-77 [doi]
- Integrating Groups and Transactions: A Fault-Tolerant Extension of AdaMarta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo. 78-89 [doi]
- Implementing and Using Execution Time Clocks in Ada Hard Real-Time ApplicationsMichael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez. 90-101 [doi]
- Programming Hard Real-Time Systems with Optional Components in AdaAgustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes. 102-111 [doi]
- Object Oriented Abstractions for Real-Time Distributes SystemsScott Arthur Moody. 112-127 [doi]
- (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented AlternativeMartin J. Stift. 128-139 [doi]
- Ada 95 for a Distributed Simulation SystemHelge Hagenauer, Werner Pohlmann. 140-150 [doi]
- PINROB: A Portable API for Industrial RobotsMichael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot. 151-162 [doi]
- Quality-for-ASIS: A Portable Testing Facility for ASISAlfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey. 163-175 [doi]
- Ten Years of Tool Based Ada Compiler Validations. An Experience ReportMichael Tonndorf. 176-187 [doi]
- A Two-Level Matching Mechanism for Object-Oriented Class LibrariesSaeed Araban, A. S. M. Sajeev. 188-200 [doi]
- Modern Avionics Requirements for the Distributed Systems AnnexBruce Lewis, Steve Vestal, David J. McConnell. 201-212 [doi]
- A Case Study in Quantitative Evaluation of Real-Time Software ArchitecturesJosé L. Fernández, Bárbara Álvarez, Francisco José García Izquierdo, Ángel Pérez, Juan Antonio de la Puente. 213-224 [doi]
- Building Modular Communication Systems in Ada: The Simple_Com ApproachJesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros. 225-237 [doi]
- Symbolic Reaching Definitions Analysis of Ada ProgramsJohann Blieberger, Bernd Burgstaller. 238-250 [doi]
- Looking at Code With Your Safety Goggles OnKen Wong. 251-262 [doi]
- The Ravenscar Tasking Profile for High Integrity Real-Time ProgramsAlan Burns, Brian Dobbing, G. Romanski. 263-275 [doi]
- Guidance on the Use of Ada95 in High Integrity SystemsSteve Michell, Mark Saaltink. 276-287 [doi]
- Ada in the JAS 39 Gripen Flight Control SystemBo Frisberg. 288-296 [doi]