Ada-Europe 2003: Toulouse, France

Invited Papers

• Pascal Leroy:
  An Invitation to Ada 2005. 1-23
  
• Mira Mezini, Klaus Ostermann:
  Modules for Crosscutting Models. 24-44
  
• Jörg Kienzle:
  Software Fault Tolerance: An Overview. 45-67
  

Ravenscar

• Peter Amey, Brian Dobbing:
  High Integrity Ravenscar. 68-79
  
• Alan Burns, Tse-Min Lin:
  Adding Temporal Annotations and Associated Verification to Ravenscar Profile. 80-91
  
• Niklas Holsti, Thomas Långbacka:
  Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. 92-101
  

Language Issues

• Ehud Lamm:
  Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design. 102-112
  
• Benjamin M. Brosgol, Andy J. Wellings:
  A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. 113-128
  
• Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers:
  Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. 129-141
  

Static Analysis

• Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
  Busy Wait Analysis. 142-152
  
• Johann Blieberger, Bernd Burgstaller:
  Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. 153-167
  
• Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
  Quasar: A New Tool for Concurrent Ada Programs Analysis. 168-181
  

Distributed Information Systems

• Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández:
  A Graphical Environment for GLADE. 182-195
  
• Mário Amado Alves, Alípio Jorge, Matthew Heaney:
  The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. 196-207
  
• Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky:
  Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. 208-219
  

Metrics

• Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente:
  Getting System Metrics Using POSIX Tracing Services. 220-231
  
• William M. Evanco, June M. Verner:
  Some Architectural Features of Ada Systems Affecting Defects. 232-245
  
• Silke Kuball, Gordon Hughes:
  Evidential Volume Approach for Certification. 246-257
  

Software Components

• Christoph Grein, Dmitry A. Kazakov, Fraser Wilson:
  A Survey of Physical Unit Handling Techniques in Ada. 258-270
  
• Matthew Heaney:
  Charles: A Data Structure Library for Ada95. 271-282
  
• Xavier Franch, Jordi Marco:
  A Quality Model for the Ada Standard Container Library. 283-296
  

Formal Specification

• Tommi Mikkonen:
  Experiences on Developing and Using a Tool Support for Formal Specification. 297-308
  
• Tse-Min Lin, John A. McDermid:
  A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. 309-321
  

Real-Time Kernel

• Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
  Running Ada on Real-Time Linux. 322-333
  
• Alan Burns, Michael González Harbour, Andy J. Wellings:
  A Round Robin Scheduling Policy for Ada. 334-343
  
• Francisco Javier Miranda González, Michael González Harbour:
  A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. 344-358
  

Testing

• Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano:
  A Test Environment for High Integrity Software Development. 359-267
  
• Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
  Normalized Restricted Random Testing. 368-381
  
• Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam:
  Testing Safety Critical Ada Code Using Non Real Time Testing. 382-392
  

Real-Time Systems Design

• Francis Thom:
  The Standard UML-Ada Profile. 394-404
  
• Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega:
  HRT-UML: Taking HRT-HOOD onto UML. 405-416
  
• Francisco J. Ortiz, Bárbara Álvarez, Juan A. Pastor, Pedro Sánchez:
  A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. 417-428