Front matter
1-20
Building Formal Requirements Models for Reliable Software
Axel van Lamsweerde
21-34
Using Ada in Interactive Digital Television Systems
Pascal Héraud and Thierry Lelégard
35-48
Testing from Formal Specifications, a Generic Approach
Marie-Claude Gaudel
49-67
Logic versus Magic in Critical Systems
Peter Amey
68-87
Can Java™ Meet Its Real-Time Deadlines?
Benjamin Brosgol and Brian Dobbing
88-99
Parameter-Induced Aliasing in Ada
Wolfgang Gellerich and Erhard Plödereder
100-112
Slicing Tagged Objects in Ada
Zhengqiang Chen, Baowen Xu and Hongji Yang
113-122
OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
Alexei Kuchumov, Sergey Rybin and Alfred Strohmeier
123-135
Building Modern Distributed Systems
Laurent Pautet, Thomas Quinot and Samuel Tardieu
136-147
Reliable Communication in Distributed Computer-Controlled Systems
Luís Miguel Pinho and Francisco Vasques
148-159
Building Robust Applications by Reusing Non-robust Legacy Software
Francisco Guerra Santana, Javier Miranda González, José Miguel Santos Espino and José Carlos Rodríguez Calero
160-166
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
Joyce L. Tokar
167-178
Complex Task Implementation in Ada
Alfons Crespo, Patricia Balbastre and Silvia Terrasa
179-190
Implementing a Flexible Scheduler in Ada
Guillem Bernat and Alan Burns
191-202
Expression Templates in Ada
Alexandre Duret-Lutz
203-214
A Design Pattern for State Machines and Concurrent Activities
Bo I. Sandén
215-228
Component Libraries and Language Features
Ehud Lamm
229-240
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
Darren Foulger and Steve King
241-252
Scenario-Based System Assessment
Silke Kuball
253-265
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Tsong Y. Chen and Man F. Lau
266-277
JEWL: A GUI Library for Educational Use
John English
278-289
Object-Oriented Stable Storage Based on Mirroring
Xavier Caron, Jörg Kienzle and Alfred Strohmeier
290-304
Transaction Support for Ada
Jörg Kienzle, Ricardo Jiménez-Peris, Alexander Romanovsky and M. Patiño Martinez
305-316
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
Mario Aldea Rivas and Michael González Harbour
317-327
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels
Juan Zamorano, José F. Ruiz and Juan Antonio de la Puente
328-336
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Alan Burns
337-348
Modelling Communication Interfaces with ComiX
1Frank Oppenheimer, Dongming Zhang and Wolfgang Nebel
349-358
Safe Web Forms and XML Processing with Ada
Mário Amado Alves
359-370
Mapping UML to Ada
Bill Taylor and Einar W. Karlsen
371-379
Ship System 2000, a Stable Architecture under Continuous Evolution
Björn Källberg and Rei Stråhle
380-391
Migrating Large Applications from Ada83 to Ada95
Philippe Waroquiers, Stef Van Vlierberghe, Dirk Craeynest, Andrew Hately and Erik Duvinage
392-404
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Tullio Vardanega, Rodrigo García and Juan Antonio de la Puente
Back matter