Abstract is missing.
- Embedded Systems Unsuitable for Object OrientationMaarten Boasson. 1-12 [doi]
- On Architectural Stability and EvolutionMehdi Jazayeri. 13-23 [doi]
- Encapsulating Failure Detection: From Crash to Byzantine FailuresAssia Doudou, Benoît Garbinato, Rachid Guerraoui. 24-50 [doi]
- Contextware: Bridging Physical and Virtual WorldsAlois Ferscha. 51-64 [doi]
- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded ProcessorsAlexander Chatzigeorgiou, George Stephanides. 65-75 [doi]
- OMC-INTEGRAL Memory ManagementJose Manuel Pérez Lobato, Eva Martín Lobo. 76-87 [doi]
- Language Issues of Compiling Ada to HardwareMichael Ward, Neil C. Audsley. 88-99 [doi]
- Software Development Reengineering - An Experience ReportAdrian Hoe. 100-112 [doi]
- Development of a Control System for Teleoperated Robots Using UML and Ada95Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández. 113-124 [doi]
- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded ApplicationsWalter Binder, Balázs Lichtl. 125-135 [doi]
- A POSIX-Ada Interface for Application-Defined SchedulingMario Aldea Rivas, Michael González Harbour. 136-150 [doi]
- Closing the Loop: The Influence of Code Analysis on DesignPeter Amey. 151-162 [doi]
- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATPaul Parkinson, Franco Gasperoni. 163-178 [doi]
- How to Use GNAT to Efficiently Preprocess New Ada SentencesFrancisco Javier Miranda González, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González. 179-192 [doi]
- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in AdaRobert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers. 193-204 [doi]
- Adding Design by Contract to the Ada LanguageEhud Lamm. 205-218 [doi]
- Static Dependency Analysis for Concurrent Ada 95 ProgramsZhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang. 219-230 [doi]
- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf. 231-244 [doi]
- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical StudyYuen-Tak Yu, Man Fai Lau. 245-256 [doi]
- About the Difficulties of Building a Pretty-Printer for AdaSergey Rybin, Alfred Strohmeier. 257-268 [doi]
- A Tailorable Distributed Programming EnvironmentErnestina Martel, Francisco Guerra Santana, Francisco Javier Miranda González. 269-281 [doi]
- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada ComponentsJulio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour. 282-296 [doi]
- Transparent Environment for Replicated Ravenscar ApplicationsLuís Miguel Pinho, Francisco Vasques. 297-308 [doi]
- Concurrency Control in Transactional DragoMarta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo. 309-320 [doi]
- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) StandardAgustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo. 321-333 [doi]
- GNAT Ada Database Development EnvironmentMichael Erdmann. 334-343 [doi]
- Ada, Interfaces and the Listener ParadigmJean-Pierre Rosen. 344-356 [doi]
- Using Object Orientation in High Integrity Applications: A Case StudyAlejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente. 357-366 [doi]