Front matter
53-80
Embedded Systems Unsuitable for Object Orientation
Maarten Boasson
397-420
On Architectural Stability and Evolution
Mehdi Jazayeri
24-50
Encapsulating Failure Detection: From Crash to Byzantine Failures
Assia Doudou, Benoît Garbinato and Rachid Guerraoui
569-589
Contextware: Bridging Physical and Virtual Worlds
Alois Ferscha
367-393
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors
Alexander Chatzigeorgiou and George Stephanides
3-31
OMC-INTEGRAL Memory Management
Jose Manuel Pérez Lobato and Eva Martín Lobo
221-243
Language Issues of Compiling Ada to Hardware
Michael Ward and Neil C. Audsley
100-112
Software Development Reengineering — An Experience Report
Adrian Hoe
113-124
Development of a Control System for Teleoperated Robots Using UML and Ada95
Francisco J. Ortiz, Alejandro S. Martínez3, Barbara Álvarez, Andres Iborra and José M. Fernández
125-152
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications
Walter Binder and Balázs Lichtl
153-175
A POSIX-Ada Interface for Application-Defined Scheduling
Mario Aldea Rivas and Michael González Harbour
151-162
Closing the Loop: The Influence of Code Analysis on Design
Peter Amey
77-102
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
Paul Parkinson and Franco Gasperoni
247-263
How to Use GNAT to Efficiently Preprocess New Ada Sentences
Javier Miranda, Francisco Guerra, Ernestina Martel, José Martín and Alexis González
335-366
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Robert Dewar, Olivier Hainque, Dirk Craeynest and Philippe Waroquiers
481-501
Adding Design by Contract to the Ada Language
Ehud Lamm
657-675
Static Dependency Analysis for Concurrent Ada 95 Programs
Zhenqiang Chen, Baowen Xu, Jianjun Zhao and Hongji Yang
231-244
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg and Alfred Rosskopf
593-608
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
Yuen T. Yu and Man F. Lau
293-313
About the Difficulties of Building a Pretty-Printer for Ada
Sergey Rybin and Alfred Strohmeier
679-695
A Tailorable Distributed Programming Environment
Ernestina Martel, Francisco Guerra and Javier Miranda
527-541
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Julio L. Medina, J. Javier Gutiérrez, José M. Drake and Michael González Harbour
201-213
Transparent Environment for Replicated Ravenscar Applications
Luís Miguel Pinho and Francisco Vasques
265-277
Concurrency Control in
Transactional Drago
Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle and Sergio Arévalo
95-111
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
Agustín Espinosa Minguet, Ana García Fornes and Alfons Crespo i Lorente
361-377
GNAT Ada Database Development Environment
Michael Erdmann
133-153
Ada, Interfaces and the Listener Paradigm
Jean-Pierre Rosen
21-49
Using Object Orientation in High Integrity Applications: A Case Study
Alejandro Alonso, Roberto López, Tullio Vardanega and Juan Antonio de la Puente
Back matter