Invited Papers

• 
  Maarten Boasson: Embedded Systems Unsuitable for Object Orientation. 1-12
• 
  Mehdi Jazayeri: On Architectural Stability and Evolution. 13-23
• 
  Assia Doudou, Benoît Garbinato, Rachid Guerraoui: Encapsulating Failure Detection: From Crash to Byzantine Failures. 24-50
• 
  Alois Ferscha: Contextware: Bridging Physical and Virtual Worlds. 51-64

Embedded Systems

• 
  Alexander Chatzigeorgiou, George Stephanides: Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors. 65-75
• 
  Jose Manuel Pérez Lobato, Eva Martín Lobo: OMC-INTEGRAL Memory Management. 76-87
• 
  Michael Ward, Neil C. Audsley: Language Issues of Compiling Ada to Hardware. 88-99

Case Studies

• 
  Adrian Hoe: Software Development Reengineering - An Experience Report. 100-112
• 
  Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández: Development of a Control System for Teleoperated Robots Using UML and Ada95. 113-124
• 
  Walter Binder, Balázs Lichtl: Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. 125-135

Real-Time Systems

• 
  Mario Aldea Rivas, Michael González Harbour: A POSIX-Ada Interface for Application-Defined Scheduling. 136-150

High-Integrity Systems

• 
  Peter Amey: Closing the Loop: The Influence of Code Analysis on Design. 151-162
• 
  Paul Parkinson, Franco Gasperoni: High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. 163-178

Ada Language

• 
  Francisco Javier Miranda González, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González: How to Use GNAT to Efficiently Preprocess New Ada Sentences. 179-192
• 
  Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers: Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. 193-204
• 
  Ehud Lamm: Adding Design by Contract to the Ada Language. 205-218

Program Analysis

• 
  Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang: Static Dependency Analysis for Concurrent Ada 95 Programs. 219-230
• 
  Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf: DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. 231-244
• 
  Yuen-Tak Yu, Man Fai Lau: Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study. 245-256

Tools

• 
  Sergey Rybin, Alfred Strohmeier: About the Difficulties of Building a Pretty-Printer for Ada. 257-268
• 
  Ernestina Martel, Francisco Guerra Santana, Francisco Javier Miranda González: A Tailorable Distributed Programming Environment. 269-281

Distributed Systems

• 
  Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour: Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. 282-296
• 
  Luís Miguel Pinho, Francisco Vasques: Transparent Environment for Replicated Ravenscar Applications. 297-308
• 
  Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo: Concurrency Control in Transactional Drago. 309-320

Libraries, APIs, and Bindings

• 
  Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo: An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. 321-333
• 
  Michael Erdmann: GNAT Ada Database Development Environment. 334-343

Object-Orientation

• 
  Jean-Pierre Rosen: Ada, Interfaces and the Listener Paradigm. 344-356
• 
  Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente: Using Object Orientation in High Integrity Applications: A Case Study. 357-366

last updated on Wed May 22 04:17:25 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page