Abstract is missing.
- Building Formal Requirements Models for Reliable SoftwareAxel van Lamsweerde. 1-20 [doi]
- Using Ada in Interactive Digital Television SystemsPascal Héraud, Thierry Lelégard. 21-34 [doi]
- Testing from Formal Specifications, a Generic ApproachMarie-Claude Gaudel. 35-48 [doi]
- Logic versus Magic in Critical SystemsPeter Amey. 49-67 [doi]
- Can Java Meet Its Real-Time Deadlines?Benjamin M. Brosgol, Brian Dobbing. 68-87 [doi]
- Parameter-Induced Aliasing in AdaWolfgang Gellerich, Erhard Plödereder. 88-99 [doi]
- Slicing Tagged Objects in AdaZhengqiang Chen, Baowen Xu, Hongji Yang. 100-112 [doi]
- OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada CodeAlexei Kuchumov, Sergey Rybin, Alfred Strohmeier. 113-122 [doi]
- Building Modern Distributed SystemsLaurent Pautet, Thomas Quinot, Samuel Tardieu. 123-135 [doi]
- Reliable Communication in Distributed Computer-Controlled SystemsLuís Miguel Pinho, Francisco Vasques. 136-147 [doi]
- Building Robust Applications by Reusing Non-robust Legacy SoftwareFrancisco Guerra Santana, Francisco Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero. 148-159 [doi]
- New Developments in Ada 95 Run-Time Profile Definitions and Language RefinementsJoyce L. Tokar. 160-166 [doi]
- Complex Task Implementation in AdaAlfons Crespo, Patricia Balbastre, Silvia Terrasa. 167-178 [doi]
- Implementing a Flexible Scheduler in AdaGuillem Bernat, Alan Burns. 179-190 [doi]
- Expression Templates in AdaAlexandre Duret-Lutz. 191-202 [doi]
- A Design Pattern for State Machines and Concurrent ActivitiesBo Sanden. 203-214 [doi]
- Component Libraries and Language FeaturesEhud Lamm. 215-228 [doi]
- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical SoftwareDarren Foulger, Steve King. 229-240 [doi]
- Scenario-Based System AssessmentSilke Kuball. 241-252 [doi]
- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical EvaluationTsong Yueh Chen, Man Fai Lau. 253-265 [doi]
- JEWL: A GUI Library for Educational UseJohn English. 266-277 [doi]
- Object-Oriented Stable Storage Based on MirroringXavier Caron, Jörg Kienzle, Alfred Strohmeier. 278-289 [doi]
- Transaction Support for AdaJörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez. 290-304 [doi]
- Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded ApplicationsMario Aldea Rivas. 305-316 [doi]
- Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time KernelsJuan Zamorano, José F. Ruiz, Juan Antonio de la Puente. 317-327 [doi]
- Defining New Non-preemptive Dispatching and Locking Policies for AdaAlan Burns. 328-336 [doi]
- Modelling Communication Interfaces with COMIXFrank Oppenheimer, Dongming Zhang, Wolfgang Nebel. 337-348 [doi]
- Safe Web Forms and XML Processing with AdaMário Amado Alves. 349-358 [doi]
- Mapping UML to AdaBill Taylor, Einar W. Karlsen. 359-370 [doi]
- Ship System 2000, a Stable Architecture under Continuous EvolutionBjörn Källberg, Rei Stråhle. 371-379 [doi]
- Migrating Large Applications from Ada83 to Ada95Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage. 380-391 [doi]
- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORKTullio Vardanega, Rodrigo García, Juan Antonio de la Puente. 392-404 [doi]