Ada-Europe 2002: Vienna, Austria

@proceedings{DBLP:conf/adaEurope/2002,
  editor    = {Johann Blieberger and
               Alfred Strohmeier},
  title     = {Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe
               International Conference on Reliable Software Technologies, Vienna,
               Austria, June 17-21, 2002, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2361},
  year      = {2002},
  isbn      = {3-540-43784-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Embedded Systems

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

Case Studies

• Adrian Hoe:
  Software Development Reengineering - An Experience Report. 100-112
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Walter Binder, Balázs Lichtl:
  Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. 125-135
  Electronic Edition (Springer LINK) BibTeX

Real-Time Systems

• Mario Aldea Rivas, Michael González Harbour:
  A POSIX-Ada Interface for Application-Defined Scheduling. 136-150
  Electronic Edition (Springer LINK) BibTeX

High-Integrity Systems

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

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
  Electronic Edition (Springer LINK) BibTeX
• Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers:
  Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. 193-204
  Electronic Edition (Springer LINK) BibTeX
• Ehud Lamm:
  Adding Design by Contract to the Ada Language. 205-218
  Electronic Edition (Springer LINK) BibTeX

Program Analysis

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

Tools

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

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
  Electronic Edition (Springer LINK) BibTeX
• Luís Miguel Pinho, Francisco Vasques:
  Transparent Environment for Replicated Ravenscar Applications. 297-308
  Electronic Edition (Springer LINK) BibTeX
• Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo:
  Concurrency Control in Transactional Drago. 309-320
  Electronic Edition (Springer LINK) BibTeX

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
  Electronic Edition (Springer LINK) BibTeX
• Michael Erdmann:
  GNAT Ada Database Development Environment. 334-343
  Electronic Edition (Springer LINK) BibTeX

Object-Orientation

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