| |
| |
| Invited Papers | |
| |
| |
| Building Formal Requirements Models for Reliable Software | |
| |
| |
| |
| Using Ada in Interactive Digital Television Systems | |
| |
| |
| |
| Testing from Formal Specifications, a Generic Approach | |
| |
| |
| |
| Logic versus Magic in Critical Systems | |
| |
| |
| |
| Can Java<sup>TM</sup> Meet Its Real-Time Deadlines? | |
| |
| |
| |
| Program Analysis | |
| |
| |
| Parameter-Induced Aliasing in Ada | |
| |
| |
| |
| Slicing Tagged Objects in Ada | |
| |
| |
| |
| OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code | |
| |
| |
| |
| Distributed Systems | |
| |
| |
| Building Modern Distributed Systems | |
| |
| |
| |
| Reliable Communication in Distributed Computer-Controlled Systems | |
| |
| |
| |
| Building Robust Applications by Reusing Non-robust Legacy Software | |
| |
| |
| |
| Real-Time Systems | |
| |
| |
| New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements | |
| |
| |
| |
| Complex Task Implementation in Ada | |
| |
| |
| |
| Implementing a Flexible Scheduler in Ada | |
| |
| |
| |
| Language and Patterns | |
| |
| |
| Expression Templates in Ada | |
| |
| |
| |
| A Design Pattern for State Machines and Concurrent Activities | |
| |
| |
| |
| Component Libraries and Language Features | |
| |
| |
| |
| Dependable Systems | |
| |
| |
| Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software | |
| |
| |
| |
| Scenario-Based System Assessment | |
| |
| |
| |
| Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation | |
| |
| |
| |
| APIs and Components | |
| |
| |
| JEWL: A GUI Library for Educational Use | |
| |
| |
| |
| Object-Oriented Stable Storage Based on Mirroring | |
| |
| |
| |
| Transaction Support for Ada | |
| |
| |
| |
| Real-Time Kernels | |
| |
| |
| MaRTE OS: An Ada Kernel for Real-Time Embedded Applications | |
| |
| |
| |
| Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels | |
| |
| |
| |
| Defining New Non-preemptive Dispatching and Locking Policies for Ada | |
| |
| |
| |
| Standard Formats: UML & XML | |
| |
| |
| Modelling Communication Interfaces with ComiX | |
| |
| |
| |
| Safe Web Forms and XML Processing with Ada | |
| |
| |
| |
| Mapping UML to Ada | |
| |
| |
| |
| System Evolution | |
| |
| |
| Ship System 2000, a Stable Architecture under Continuous Evolution | |
| |
| |
| Migrating Large Applications from Ada83 to Ada95 | |
| |
| |
| |
| An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK | |
| |
| |
| |
| Author Index | |