Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Peter Amey -- Can Java Meet Its Real-time Deadlines? / Benjamin Brosgol And Brian Dobbing -- Parameter-induced Aliasing In Ada / Wolfgang Gellerich And Erhard Plodereder -- Slicing Tagged Objects In Ada / Zhengqiang Chen, Baowen Xu And Hongji Yang -- Oasis -- An Asis Secondary Library For Analyzing Object-oriented Ada Code / Alexei Kuchumov, Sergey Rybin And Alfred Strohmeier -- Building Modern Distributed Systems / Laurent Pautet, Thomas Quinot And Samuel Tardieu -- Reliable Communication In Distributed Computer-controlled Systems / Luis Miguel Pinho And Francisco Vasques --^ Building Robust Applications By Reusing Non-robust Legacy Software / Francisco Guerra Santana, Javier Miranda Gonzalez And Jose Miguel Santos Espino / [et Al.] -- New Developments In Ada 95 Run-time Profile Definitions And Language Refinements / Joyce L. Tokar -- Complex Task Implementation In Ada / Alfons Crespo, Patricia Balbastre And Silvia Terrasa -- Implementing A Flexible Scheduler In Ada / Guillem Bernat And Alan Burns -- 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 -- Using The Spark Toolset For Showing The Absence Of Run-time Errors In Safety-critical Software / Darren Foulger And Steve King -- Scenario-based System Assessment / Silke Kuball -- Test Suite Reduction And Fault Detecting Effectiveness: An Empirical Evaluation / Tsong Y. Chen And Man F. Lau -- Jewl: A Gui Library For Educational Use / John English --^ Object-oriented Stable Storage Based On Mirroring / Xavier Caron, Jorg Kienzle And Alfred Strohmeier -- Transaction Support For Ada / Jorg Kienzle, Ricardo Jimenez-peris And Alexander Romanovsky / [et Al.] -- Marte Os: An Ada Kernel For Real-time Embedded Applications / Mario Aldea Rivas And Michael Gonzalez Harbour -- Implementing Ada.real£̀ʼime.clock And Absolute Delays In Real-time Kernels / Juan Zamorano, Jose F. Ruiz And Juan Antonio De La Puente -- Defining New Non-preemptive Dispatching And Locking Policies For Ada / Alan Burns -- Modelling Communication Interfaces With Comix / Frank Oppenheimer, Dongming Zhang And Wolfgang Nebel -- Safe Web Forms And Xml Processing With Ada / Mario Amado Alves -- Mapping Uml To Ada / Bill Taylor And Einar W. Karlsen -- Ship System 2000, A Stable Architecture Under Continuous Evolution / Bjorn Kallberg And Rei Strahle -- Migrating Large Applications From Ada83 To Ada95 / Philippe Waroquiers, Stef Van Vlierberghe And Dirk Craeynest / [et Al.] --^ An Application Case For Ravenscar Technology: Porting Oboss To Gnat/ork / Tullio Vardanega, Rodrigo Garcia And Juan Antonio De La Puente. Dirk Craeynest, Alfred Strohmeier (eds.). Includes Bibliographical References And Index.