Ada-Europe 2001: Leuven, Belgium

@proceedings{DBLP:conf/adaEurope/2001,
  editor    = {Dirk Craeynest and
               Alfred Strohmeier},
  title     = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe
               International Conference Leuven, Belgium, May 14-18, 2001, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2043},
  year      = {2001},
  isbn      = {3-540-42123-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

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

Program Analysis

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

Distributed Systems

• Laurent Pautet, Thomas Quinot, Samuel Tardieu:
  Building Modern Distributed Systems. 123-135
  Electronic Edition (Springer LINK) BibTeX
• Luís Miguel Pinho, Francisco Vasques:
  Reliable Communication in Distributed Computer-Controlled Systems. 136-147
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX

Real-Time Systems

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

Language and Patterns

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

Dependable Systems

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

APIs and Components

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

Real-Time Kernels

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

Standard Formats: UML & XML

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

System Evolution

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