| Invited Papers |
| Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde |
| Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard |
| Testing from Formal Specifications, a Generic Approach / Marie-Claude Gaudel |
| Logic versus Magic in Critical Systems / Peter Amey |
| Can JavaTM Meet Its Real-Time Deadlines? / Benjamin Brosgol ; Brian Dobbing |
| Program Analysis |
| Parameter-Induced Aliasing in Ada / Wolfgang Gellerich ; Erhard Plodereder |
| Slicing Tagged Objects in Ada / Zhengqiang Chen ; Baowen Xu ; Hongji Yang |
| OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code / Alexei Kuchumov ; Sergey Rybin ; Alfred Strohmeier |
| Distributed Systems |
| Building Modern Distributed Systems / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu |
| Reliable Communication in Distributed Computer-Controlled Systems / Luís Miguel Pinho ; Francisco Vasques |
| Building Robust Applications by Reusing Non-robust Legacy Software / Francisco Guerra Santana ; Javier Miranda Gonzalez ; iguez Calero |
| Real-Time Systems |
| New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements / Joyce L. Tokar |
| Complex Task Implementation in Ada / Alfons Crespo ; Patricia Balbastre ; Silvia Terrasa |
| Implementing a Flexible Scheduler in Ada / Guillem Bernat ; Alan Burns |
| Language and Patterns |
| Expression Templates in Ada / Alexandre Duret-Lutz |
| A Design Pattern for State Machines and Concurrent Activities / Bo I. Sanden |
| Component Libraries and Language Features / Ehud Lamm |
| Dependable Systems |
| Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software / Darren Foulger ; Steve King |
| Scenario-Based System Assessment / Silke Kuball |
| Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen ; Man F. Lau |
| APIs and Components |
| JEWL: A GUI Library for Educational Use / John English |
| Object-Oriented Stable Storage Based on Mirroring / Xavier Caron ; Jorg Kienzle |
| Transaction Support for Ada / Ricardo Jimenez-Peris ; Alexander Romanovsky ; inez |
| Real-Time Kernels |
| MaRTE OS: An Ada Kernel for Real-Time Embedded Applications / Mario Aldea Rivas ; Michael Gonzalez Harbour |
| Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels / Juan Zamorano ; Jose F. Ruiz ; Juan Antonio de la Puente |
| Defining New Non-preemptive Dispatching and Locking Policies for Ada |
| Standard Formats: UML & XML |
| Modelling Communication Interfaces with ComiX / Frank Oppenheimer ; Dongming Zhang ; Wolfgang Nebel |
| Safe Web Forms and XML Processing with Ada / Mario Amado Alves |
| Mapping UML to Ada / Bill Taylor ; Einar W. Karlsen |
| System Evolution |
| Ship System 2000, a Stable Architecture under Continuous Evolution |
| Migrating Large Applications from Ada83 to Ada95 / Philippe Waroquiers ; Stef Van Vlierberghe ; Dirk Craeynest ; Andrew Hately ; Erik Duvinage |
| An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK / Tullio Vardanega ; Rodrigo García |
| Author Index |
| Invited Papers |
| Building Formal Requirements Models for Reliable Software / Axel van Lamsweerde |
| Using Ada in Interactive Digital Television Systems / Pascal Heraud ; Thierry Lelegard |
図書
ＥＢ
