Front matter
1-13
Embedded opportunities
Franco Gasperoni
14-18
Ada+B the formula for safety critical software development
Pierre Chapront
19-28
Porting the GNAT tasking runtime system to the Java virtual machine
Laurent Millet and Ted Baker
29-40
Automating the Ada binding process for Java — How far can we go?
David E. Emery, Robert F. Mathis and Karl A. Nyberg
41-52
Synchronizing multiple clients and servers
Mordechai Ben-Ari
53-64
How to avoid the inheritance anomaly in Ada
Guido Schumacher and Wolfgang Nebel
65-77
Inside the distributed systems annex
Laurent Pautet and Samuel Tardieu
78-89
Integrating groups and transactions: A fault-tolerant extension of Ada
Marta Patiño-Martínez, Ricardo Jiménez-Peris and Sergio Arévalo
90-101
Implementing and using execution time clocks in Ada hard real-time applications
M. González Harbour, M. Aldea Rivas, J. J. Gutiérrez García and J. C. Palencia Gutiérrez
102-111
Programming hard real-time systems with optional components in Ada
Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa and Ana García-Fornes
112-127
Object oriented abstractions for real-time distributed systems
Foundation steps of Ada 95 purity and genetics
Scott Arthur Moody
128-139
(Astro)physical supercomputing: Ada95 as a safe, object oriented alternative
Martin J. Stift
140-150
Ada 95 for a distributed simulation system
Helge Hagenauer and Werner Pohlmann
151-162
PINROB: A portable API for industrial robots
M. González Harbour, R. Gómez Somarriba, A. Strohmeier and J. Jacot
163-175
Quality-for-ASIS: A portable testing facility for ASIS
Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin and Stéphane Barbey
176-187
Ten years of tool based Ada compiler validations an experience report
Michael Tonndorf
188-200
A two-level matching mechanism for object-oriented class libraries
S. Araban and A. S. M. Sajeev
201-212
Modern Avionics requirements for the Distributed Systems Annex
Bruce Lewis, Steve Vestal and David McConnell
213-224
A case study in quantitative evaluation of real-time software architectures
José L. Fernández, Bárbara álvarez, Francisco García, ángel Pérez and Juan A. de la Puente
225-237
Building modular communication systems in Ada: The Simple-Com approach
JesÚs M. González-Barahona, Pedro de-las-Heras-Quirós, José Centeno-González and Francisco Ballesteros
238-250
Symbolic reaching definitions analysis of Ada programs
Johann Blieberger and Bernd Burgstaller
251-262
Looking at code with your safety goggles on
Ken Wong
263-275
The Ravenscar tasking profile for high integrity real-time programs
A. Burns, B. Dobbing and G. Romanski
276-287
Guidance on the use of Ada95 in high integrity systems
Steve Michell and Mark Saaltink
288-296
Ada in the JAS 39 Gripen flight control system
Bo Frisberg