Ada-Europe 2001: Leuven, Belgium

Dirk Craeynest, Alfred Strohmeier (Eds.): Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Lecture Notes in Computer Science 2043 Springer 2001, ISBN 3-540-42123-8

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
Alexey 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

Last update Tue May 21 16:10:55 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page