Front matter
640
An Invitation to Ada 2005
Pascal Leroy
641
Modules for Crosscutting Models
Mira Mezini and Klaus Ostermann
641
Software Fault Tolerance: An Overview
Jörg Kienzle
637
High Integrity Ravenscar
Peter Amey and Brian Dobbing
639
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
Alan Burns and Tse-Min Lin
641
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software
Niklas Holsti and Thomas Långbacka
637
Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design
Ehud Lamm
638
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™
Benjamin M. Brosgol and Andy Wellings
641
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest and Philippe Waroquiers
637
Busy Wait Analysis
Johann Blieberger, Bernd Burgstaller and Bernhard Scholz
637
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
Johann Blieberger and Bernd Burgstaller
638
Quasar: A New Tool for Concurrent Ada Programs Analysis
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre and Pierre Rousseau
637
A Graphical Environment for GLADE
Ernestina Martel, Francisco Guerra, Javier Miranda and Luis Hernández
640
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project
Mário Amado Alves, Alípio Jorge and Matthew Heaney
639
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance
Marta Patiño-Martínez, Ricardo Jiménez-Peris and Alexander Romanovsky
637
Getting System Metrics Using POSIX Tracing Services
Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García Fornes and Alfons Crespo i Lorente
638
Some Architectural Features of Ada Systems Affecting Defects
William M. Evanco and June Verner
639
Evidential Volume Approach for Certification
Silke Kuball and Gordon Hughes
641
A Survey of Physical Unit Handling Techniques in Ada
Christoph Grein, Dmitry A. Kazakov and Fraser Wilson
639
Charles: A Data Structure Library for Ada95
Matthew Heaney
636-637
A Quality Model for the Ada Standard Container Library
Xavier Franch and Jordi Marco
638
Experiences on Developing and Using a Tool Support for Formal Specification
Tommi Mikkonen
639
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
Tse-Min Lin and John A. McDermid
637
Running Ada on Real-Time Linux
Miguel Masmano, Jorge Real, Ismael Ripoll and Alfons Crespo
637
A Round Robin Scheduling Policy for Ada
A. Burns, M. González Harbour and A. J. Wellings
638
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
Javier Miranda and M. González Harbour
638
A Test Environment for High Integrity Software Development
Alejandro Alonso, Juan Antonio de la Puente and Juan Zamorano
639
Normalized Restricted Random Testing
Kwok Ping Chan, Tsong Yueh Chen and Dave Towey
638
Testing Safety Critical Ada Code Using Non Real Time Testing
Y. V. Jeppu, K. Karunakar and P. S. Subramanyam
638
The Standard UML-Ada Profile
Francis Thom
637
HRT-UML: Taking HRT-HOOD onto UML
Silvia Mazzini, Massimo D’Alessandro, Marco Di Natale, Andrea Domenici and Giuseppe Lipari, et al.
639
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST
Francisco Ortiz, Bárbara Álvarez, Juan Á. Pastor and Pedro Sánchez
Back matter