Ada-Europe 2001: Leuven, Belgium

Invited Paper

• Axel van Lamsweerde:
  Building Formal Requirements Models for Reliable Software. 1-20
  
• Pascal Héraud, Thierry Lelégard:
  Using Ada in Interactive Digital Television Systems. 21-34
  
• Marie-Claude Gaudel:
  Testing from Formal Specifications, a Generic Approach. 35-48
  
• Peter Amey:
  Logic versus Magic in Critical Systems. 49-67
  
• Benjamin M. Brosgol, Brian Dobbing:
  Can Java Meet Its Real-Time Deadlines? 68-87
  

Program Analysis

• Wolfgang Gellerich, Erhard Plödereder:
  Parameter-Induced Aliasing in Ada. 88-99
  
• Zhengqiang Chen, Baowen Xu, Hongji Yang:
  Slicing Tagged Objects in Ada. 100-112
  
• Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier:
  OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. 113-122
  

Distributed Systems

• Laurent Pautet, Thomas Quinot, Samuel Tardieu:
  Building Modern Distributed Systems. 123-135
  
• Luís Miguel Pinho, Francisco Vasques:
  Reliable Communication in Distributed Computer-Controlled Systems. 136-147
  
• Francisco Guerra Santana, Francisco Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero:
  Building Robust Applications by Reusing Non-robust Legacy Software. 148-159
  

Real-Time Systems

• Joyce L. Tokar:
  New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements. 160-166
  
• Alfons Crespo, Patricia Balbastre, Silvia Terrasa:
  Complex Task Implementation in Ada. 167-178
  
• Guillem Bernat, Alan Burns:
  Implementing a Flexible Scheduler in Ada. 179-190
  

Language and Patterns

• Alexandre Duret-Lutz:
  Expression Templates in Ada. 191-202
  
• Bo Sanden:
  A Design Pattern for State Machines and Concurrent Activities. 203-214
  
• Ehud Lamm:
  Component Libraries and Language Features. 215-228
  

Dependable Systems

• Darren Foulger, Steve King:
  Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. 229-240
  
• Silke Kuball:
  Scenario-Based System Assessment. 241-252
  
• Tsong Yueh Chen, Man Fai Lau:
  Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation. 253-265
  

APIs and Components

• John English:
  JEWL: A GUI Library for Educational Use. 266-277
  
• Xavier Caron, Jörg Kienzle, Alfred Strohmeier:
  Object-Oriented Stable Storage Based on Mirroring. 278-289
  
• Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez:
  Transaction Support for Ada. 290-304
  

Real-Time Kernels

• Mario Aldea Rivas:
  Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. 305-316
  
• Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente:
  Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. 317-327
  
• Alan Burns:
  Defining New Non-preemptive Dispatching and Locking Policies for Ada. 328-336
  

Standard Formats: UML & XML

• Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel:
  Modelling Communication Interfaces with COMIX. 337-348
  
• Mário Amado Alves:
  Safe Web Forms and XML Processing with Ada. 349-358
  
• Bill Taylor, Einar W. Karlsen:
  Mapping UML to Ada. 359-370
  

System Evolution

• Björn Källberg, Rei Stråhle:
  Ship System 2000, a Stable Architecture under Continuous Evolution. 371-379
  
• Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage:
  Migrating Large Applications from Ada83 to Ada95. 380-391
  
• Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente:
  An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. 392-404