Ada-Europe

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings

Ada-Europe

2005

Smart Certification of Mixed Criticality Systems
by: Peter Amey, Rod Chapman, Neil White
Non-intrusive System Level Fault-Tolerance
by: Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov
An Ada Framework for QoS-Aware Applications
by: Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95
by: Patrick Rogers, Andy J. Wellings
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM
by: Benjamin M. Brosgol
Extending Ravenscar with CSP Channels
by: Diyaa-Addein Atiya, Steve King
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
by: José María Martínez, Michael González Harbour
Distributing Criticality Across Ada Partitions
by: Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll
ILTIS - The Legacy of a Successful Product
by: Neville Rowden
Proving Functional Equivalence for Program Slicing in SPARK
by: Ricky E. Sward, Leemon C. Baird
Using the AADL to Describe Distributed Applications from Middleware to Software Components
by: Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Observing the Development of a Reliable Embedded System
by: Devaraj Ayavoo, Michael J. Pont, Stephen Parker
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
by: Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan A. Pastor
GNAT Pro for On-board Mission-Critical Space Applications
by: José F. Ruiz
A New Strategy for the HRT-HOOD to Ada Mapping
by: Matteo Bordin, Tullio Vardanega
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
by: Mario Aldea Rivas, Javier Miranda, Michael González Harbour
Efficient Alternatives for Implementing Fixed-Priority Schedulers
by: Sergio Saez, Vicent Lorente, Silvia Terrasa, Alfons Crespo
The ESA Ravenscar Benchmark
by: Romain Berrendonner, Jérôme Guitton
Teaching Software Engineering with Ada 95
by: Daniel Simon, Gunther Vogel, Erhard Plödereder
Dynamic Tasks Verification with Quasar
by: Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
The Implementation of Ada 2005 Interface Types in the GNAT Compiler
by: Javier Miranda, Edmond Schonberg, Gary Dismukes

2004

A Theory of Persistent Containers and Its Application to Ada
by: Mário Amado Alves
Vector Processing in Ada
by: Franco Gasperoni
Dynamic Ceiling Priorities: A Proposal for Ada0Y
by: Jorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
by: Bárbara Álvarez, Juan A. Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro J. Navarro
High-Integrity Interfacing to Programmable Logic with Ada
by: Adrian J. Hilton, Jon G. Hall
Implementing Execution-Time Clocks for the Ada Ravenscar Profile
by: Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
Shortcuts: A Critical Look
by: Matthew Heaney
High Integrity Ada in a UML and C World
by: Peter Amey, Neil White
Benefits and Problems of Formal Methods
by: Martin Gogolla
Implementing an Application-Defined Scheduling Framework for Ada Tasking
by: Mario Aldea Rivas, Francisco Javier Miranda González, Michael González Harbour
OpenAda: Compile-Time Reflection for Ada 95
by: Patrick Rogers, Andy J. Wellings
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
by: Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
Good Random Testing
by: Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
On the Role of Conceptual Schemas in Information Systems Development
by: Antoni Olivé
XML4Ada95 Accessing XML Using the DOM in Ada95
by: Zdenko Vrandecic, Daniel Simon
Mixing Scheduling Policies in Ada
by: Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena
On the Tree Width of Ada Programs
by: Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
by: Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
A Randomised Test Approach to Testing Safety Critical Ada Code
by: Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar
An Overview of Middleware
by: Steve Vinoski
Extracting Ada 95 Objects from Legacy Ada Programs
by: Ricky E. Sward
Ada Meets Giotto
by: Helge Hagenauer, Norbert Martinek, Werner Pohlmann
Supporting Deadlines and EDF Scheduling in Ada
by: Alan Burns, Andy J. Wellings, S. Tucker Taft
Static Deadlock Detection in the Linux Kernel
by: Peter T. Breuer, Marisol García-Valls
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
by: Stepan P. Nadrchal
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
by: Juan López Campos, J. Javier Gutiérrez, Michael González Harbour

2003

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

2002

Closing the Loop: The Influence of Code Analysis on Design
by: Peter Amey
Concurrency Control in Transactional Drago
by: Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo
Software Development Reengineering - An Experience Report
by: Adrian Hoe
Language Issues of Compiling Ada to Hardware
by: Michael Ward, Neil C. Audsley
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
by: Yuen-Tak Yu, Man Fai Lau
Adding Design by Contract to the Ada Language
by: Ehud Lamm
Transparent Environment for Replicated Ravenscar Applications
by: Luís Miguel Pinho, Francisco Vasques
OMC-INTEGRAL Memory Management
by: Jose Manuel Pérez Lobato, Eva Martín Lobo
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
by: Paul Parkinson, Franco Gasperoni
A Tailorable Distributed Programming Environment
by: Ernestina Martel, Francisco Guerra Santana, Francisco Javier Miranda González
Contextware: Bridging Physical and Virtual Worlds
by: Alois Ferscha
Development of a Control System for Teleoperated Robots Using UML and Ada95
by: Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andres Iborra, José M. Fernández
Static Dependency Analysis for Concurrent Ada 95 Programs
by: Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
How to Use GNAT to Efficiently Preprocess New Ada Sentences
by: Francisco Javier Miranda González, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González
A POSIX-Ada Interface for Application-Defined Scheduling
by: Mario Aldea Rivas, Michael González Harbour
GNAT Ada Database Development Environment
by: Michael Erdmann
About the Difficulties of Building a Pretty-Printer for Ada
by: Sergey Rybin, Alfred Strohmeier
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
by: Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo
Ada, Interfaces and the Listener Paradigm
by: Jean-Pierre Rosen
Embedded Systems Unsuitable for Object Orientation
by: Maarten Boasson
Encapsulating Failure Detection: From Crash to Byzantine Failures
by: Assia Doudou, Benoît Garbinato, Rachid Guerraoui
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications
by: Walter Binder, Balázs Lichtl
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
by: Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
On Architectural Stability and Evolution
by: Mehdi Jazayeri
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors
by: Alexander Chatzigeorgiou, George Stephanides
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
by: Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
by: Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf
Using Object Orientation in High Integrity Applications: A Case Study
by: Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente

2001

Logic versus Magic in Critical Systems
by: Peter Amey
Slicing Tagged Objects in Ada
by: Zhengqiang Chen, Baowen Xu, Hongji Yang
Safe Web Forms and XML Processing with Ada
by: Mário Amado Alves
Component Libraries and Language Features
by: Ehud Lamm
Ship System 2000, a Stable Architecture under Continuous Evolution
by: Björn Källberg, Rei Stråhle
Reliable Communication in Distributed Computer-Controlled Systems
by: Luís Miguel Pinho, Francisco Vasques
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
by: Darren Foulger, Steve King
Object-Oriented Stable Storage Based on Mirroring
by: Xavier Caron, Jörg Kienzle, Alfred Strohmeier
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
by: Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
Using Ada in Interactive Digital Television Systems
by: Pascal Héraud, Thierry Lelégard
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
by: Tsong Yueh Chen, Man Fai Lau
Migrating Large Applications from Ada83 to Ada95
by: Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage
Transaction Support for Ada
by: Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez
Defining New Non-preemptive Dispatching and Locking Policies for Ada
by: Alan Burns
Can Java Meet Its Real-Time Deadlines?
by: Benjamin M. Brosgol, Brian Dobbing
Expression Templates in Ada
by: Alexandre Duret-Lutz
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
by: Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier
JEWL: A GUI Library for Educational Use
by: John English
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
by: Mario Aldea Rivas
Testing from Formal Specifications, a Generic Approach
by: Marie-Claude Gaudel
Scenario-Based System Assessment
by: Silke Kuball
Building Formal Requirements Models for Reliable Software
by: Axel van Lamsweerde
Building Robust Applications by Reusing Non-robust Legacy Software
by: Francisco Guerra Santana, Francisco Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero
Complex Task Implementation in Ada
by: Alfons Crespo, Patricia Balbastre, Silvia Terrasa
A Design Pattern for State Machines and Concurrent Activities
by: Bo Sanden
Parameter-Induced Aliasing in Ada
by: Wolfgang Gellerich, Erhard Plödereder
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
by: Joyce L. Tokar
Modelling Communication Interfaces with COMIX
by: Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
by: Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
Mapping UML to Ada
by: Bill Taylor, Einar W. Karlsen
Building Modern Distributed Systems
by: Laurent Pautet, Thomas Quinot, Samuel Tardieu
Implementing a Flexible Scheduler in Ada
by: Guillem Bernat, Alan Burns

2000

An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
by: Néstor R. Barraza, Jonas D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi
An Open Ravenscar Real-Time Kernel for GNAT
by: Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
by: Patrick Closhen, Hans-Jürgen Hoffmann
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95
by: Detlef Schmitt
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation
by: Mahesh Deshpande, Frank P. Coyle, Jeff Tian
(True) Polymorphism in SPARK2000
by: Tse-Min Lin, John A. McDermid
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java
by: Reto Weiss
Ada after 10 Years of Usage - Is There a Commercial Future?
by: Bryan Pflug
Reengineering the Booch Component Library
by: Jordi Marco, Xavier Franch
ASIS-for-GNAT: A Report of Practical Experiences
by: Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis
by: Giuseppe Mauri, Stefan Scheer
Support of Technology Development in the Information Society
by: Rainer Zimmermann
Generation of Interface Design Description Documents Using ASIS
by: Steven V. Hovater, William Marksteiner, Allen Butturini
On the Minimal Essential Subsets and Minimal Representative Sets
by: Tsong Yueh Chen, Man Fai Lau
A Supporting Tool for Development of Self-Measurement Ada Programs
by: Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
Results of an Investigation into Software Integration Testing Automation
by: Simon Kiteley, Jonathan Draper
Object-Oriented Programming and Protected Objects in Ada 95
by: Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell
Using JavaTM APIs with Native Ada Compilers
by: Shayne Flint, Brian Dobbing
GtkAda: Design and Implementation of a High Level Binding in Ada
by: Emmanuel Briot, Joël Brobecker, Arnaud Charlet
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
by: Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
Exceptions in OO Languages: Using Them and Reasoning about Them
by: Neelam Soundarajan, Stephen Fridella
Enhancements in Software Project Risk Management
by: Peter Wieland, Frode Høgberg, Kristin Strømseng
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
by: Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend
Static Worst-Case Execution Time Analysis of Synchronous Programs
by: Thomas Ringler
On Persistent and Reliable Streaming in Ada
by: Jörg Kienzle, Alexander B. Romanovsky
Is an Ada Lint Necessary?
by: Björn Källberg

1999

An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
by: J. Michael Kamrad II, Barry A. Spinney
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT
by: Roderick Chapman, Robert Dewar
Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine
by: Alexandr Korochkin
Acceptance Testing of Object Oriented Systems
by: José L. Fernández
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches
by: Alfred Rosskopf
Browsing a Component Library Using Non-functional Information
by: Xavier Franch, Josep Pinyol, Joan Vancells
A Case Study in the Reuse of On-board Embedded Real-Time Software
by: Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen
Environment for the Development and Specification of Real-Time Ada Programs
by: Apolinar González, Alfons Crespo
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL
by: Adrian López, Maite Veiga, Eugenio Villar
Fault Tolerance by Transparent Replication for Distributed Ada 95
by: Thomas Wolf, Alfred Strohmeier
Translating Time Petri Net Structures into Ada 95 Statements
by: F. J. García, J. L. Villarroel
Efficient and Extensible Multithreaded Remote Servers
by: Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo
An Ada95 Implementation of a Network Coordination Language with Code Mobility
by: Emilio Tuosto
HW/SW Co-design of Embedded Systems
by: William Fornaciari, Donatella Sciuto
The Ceiling Protocol in Multi-moded Real-Time Systems
by: Jorge Real, Andy J. Wellings
yaRTI, an Ada 95 HLA Run-Time Infrastructure
by: Dominique Canazzi
An Incremental RecoveryCache Supporting Sotware Fault Tolerance
by: Patrick Rogers, Andy J. Wellings
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
by: Kristina Lundqvist, Lars Asplund, Stephen Mitchell
Report on the VERA Experiment
by: Bruno Hémeury
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems
by: Helge Hagenauer
Architectural Frameworks: Defining the Contents of Architectural Descriptions
by: David E. Emery
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
by: José F. Ruiz, Jesús M. González-Barahona
An Architectual Perspective of Real-Time Ada Applications
by: C. Douglas Locke
A ``Bare-Machine'' Implementation of Ada Multi-tasking Beneath the Linux Kernel
by: Hongfeng Shen, Arnaud Charlet, Theodore P. Baker
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
by: Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
Ada Binding to a Shared Object Layer
by: Johann Blieberger, Johann Klasek, eva Kühn
System on Chip Specification and Design Languages Standardization
by: Jean Mermet
Railway Scale Model Simulator
by: Pierre Breguet, Luigi Zaffalon
Mapping Object-Oriented Designs to Ada
by: Alfred Strohmeier
An Ada95 Solution for Certification of Embedded Safety Critical Applications
by: Jacob Frost
Automatic Verification of Concurrent Ada Programs
by: Eric Bruneton, Jean-François Pradat-Peyre
Shared Recoverable Objects
by: Jörg Kienzle, Alfred Strohmeier
An Application (Layer 7) Routing Switch with Ada95 Software
by: J. Michael Kamrad II
CORBA & DSA: Divorce or Marriage?
by: Laurent Pautet, Thomas Quinot, Samuel Tardieu
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence
by: Thierry Millan, Myriam Lamolle, Frédéric Mulatero
How to Modify the GNAT Frontend tp Experiment with Ada Extensions
by: Francisco Javier Miranda González, Francisco Guerra Santana, José Martín, Alexis González
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines
by: Fabrice Kordon

1998

Ada+B The Formula for Safety Critical Software Development
by: Pierre Chapront
Inside the Distributed Systems Annex
by: Laurent Pautet, Samuel Tardieu
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
by: José L. Fernández, Bárbara Álvarez, Francisco Garcia, Ángel Pérez, Juan Antonio de la Puente
Looking at Code With Your Safety Goggles On
by: Ken Wong
Modern Avionics Requirements for the Distributed Systems Annex
by: Bruce Lewis, Steve Vestal, David J. McConnell
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications
by: Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
Embedded Opportunities
by: Franco Gasperoni
PINROB: A Portable API for Industrial Robots
by: Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot
Symbolic Reaching Definitions Analysis of Ada Programs
by: Johann Blieberger, Bernd Burgstaller
Synchronizing Multiple Clients and Servers
by: Mordechai Ben-Ari
How to Avoid the Inheritance Anomaly in Ada
by: Guido Schumacher, Wolfgang Nebel
Building Modular Communication Systems in Ada: The Simple_Com Approach
by: Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros
Quality-for-ASIS: A Portable Testing Facility for ASIS
by: Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada
by: Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo
A Two-Level Matching Mechanism for Object-Oriented Class Libraries
by: S. Araban, A. S. M. Sajeev
Automating the Ada Binding Process for Java- How Far Can We Go?
by: David E. Emery, Robert F. Mathias, Karl A. Nyberg
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
by: Alan Burns, Brian Dobbing, G. Romanski
Guidance on the Use of Ada95 in High Integrity Systems
by: Steve Michell, Mark Saaltink
Ada in the JAS 39 Gripen Flight Control System
by: Bo Frisberg
Ten Years of Tool Based Ada Compiler Validations. An Experience Report
by: Michael Tonndorf
Porting the GNAT Tasking Runtime System to the Java Virtual Machine
by: Laurent Millet, Ted Baker
Programming Hard Real-Time Systems with Optional Components in Ada
by: Augustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative
by: Martin J. Stift
Ada 95 for a Distributed Simulation System
by: Helge Hagenauer, Werner Pohlmann
Object Oriented Abstractions for Real-Time Distributes Systems
by: Scott Arthur Moody

1997

An Alternative Toolset for Analysis of Ada Programs
by: Alex E. Bell
CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project
by: Philippe Pichon
Capturing and Verifying Performance Requirements for Hard Real Time Systems
by: R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle
Ada 95 as a Base to Architect Systems in O4STM
by: Ingmar Ögren
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK
by: J. Phil Thornley
Techniques for Testing Ada 95
by: S. R. Waterman
The SPIF Project
by: Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods
by: K. S. Cheung, Paul Kai-on Chow, T. Y. Cheung
An Ada Library to Program Fault-Tolerant Distributed Applications
by: Francisco Guerra Santana, Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection
by: Xavier Franch
An Ada 95 Sort Race Construction Set
by: Michael B. Feldman
Systematic Unit-Testing of Ada Programs
by: Joachim Wegener, Ines Fey
Tha Dangers of Inheritance
by: John English
Semantics-Based Support Tools for High Integrity Ada Software
by: W. L. Yeung
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation
by: Theodore P. Baker, Dong-Ik Oh
On Programming Atomic Actions in Ada 95
by: Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings
Computer Aided Teaching of Programming Languages: An Ada-specific Development
by: J. E. Cooling, N. Duff, J. Cooling
Implementing Application-Level Sporadic Server Schedulers in Ada 95
by: Michael González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
Developing Scripting Capabilities for an Ada-Based Simulator
by: Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen
T-SMART - Task-Safe, Minimal Ada Realtime Toolset
by: Brian Dobbing, Marc Richard-Foy
Code-Data Consistency in Ada
by: Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson
: Parameter-Induced Aliasing and Related Problems can be Avoided
by: Wolfgang Gellerich, Erhard Plödereder
Task Termination in Ada 95
by: Andy J. Wellings, Alan Burns, Offer Pazy
Finite Unions for Ada 95
by: Bernd Holzmüller, Erhard Plödereder
Supporting Ada 95 Passive Partitions in a Distributed Environment
by: Frank Mueller

1996

Implementing Protected Types on Embedded Targets
by: David Mundie, John Fardo, Ed Kuzemchak
Where Does GOTO Go to?
by: Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder
Tasking Deadlocks in Ada 95 Programs and Their Detection
by: Jingde Cheng, Kazuo Ushijima
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries
by: Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
Shared Packages Through Linda
by: Göran Wall, Kristina Lundqvist
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question!
by: Philippe Waroquiers
An Approach to Increasing Software Component Reusability in Ada
by: Hyoseob Kim, Cornelia Boldyreff
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment
by: Alfred Rosskopf
The GNARL Implementation of POSIX/Ada Signal Services
by: Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon
ASIS for GNAT: From the Prototype to the Full Implementation
by: Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov
Programming the Internet in Ada 95
by: S. Tucker Taft
Ada 95 and Critical Systems: An Analytical Approach
by: Dan Craigen, Mark Saaltink, Steve Michell
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming
by: Patrick de Bondeli
On Some Characterisation Problems of Subdomain Testing
by: Tsong Yueh Chen, Yuen-Tak Yu
A Framework for Testing Object-Oriented Software Using Formal Specifications
by: Rohan Fletcher, A. S. M. Sajeev
Iterative Software Development for Large Ada Programs
by: Philippe Kruchten, Christopher J. Thompson
Converting the Part Task Nautical Simulator to Ada 95
by: Kor Molenmaker
Planning the Transition to Ada 95 for a Large Real-Time Project
by: Roland Feith, Michael Tonndorf
The Dining Philosophers in Ada 95
by: Benjamin M. Brosgol
Interprocedural Call Optimization
by: Tim Birus, Christine Cipriani, Dean Sutherland
Ada 95: An Effective Concurrent Programming Language
by: Alan Burns, Andy J. Wellings
Using Ada 95 for Prototyping Real-Time Systems
by: Jorge Real, Augustín Espinosa, Alfons Crespo
Extending the Object-Orientedness of Ada 95
by: Bernd Holzmüller
Experiences Applying a Practical Architectural Method
by: David E. Emery, Richard F. Hilliard II, Timothy B. Rice
A Decade of Development and Development of Distributed Ada Systems
by: John D. Smart
Visibility Control and Migration of Interfaces in Large Ada Systems
by: Vincent Celier
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83
by: Thierry Millan, Pierre Bazex
Augmenting Ada 95 with Additional Real-Time Features
by: Johann Blieberger, Roland Lieger, Bernd Burgstaller
Fault-Tolerance by Replication in Distributed Systems
by: Rachid Guerraoui, André Schiper
Handling Irregular Grammars in Ada
by: Drasko M. Sotirovski, Philippe Kruchten
Using Object-Oriented Methods in Ada 95 to Implement Linda
by: Kristina Lundqvist, Göran Wall
An Ada 95 Harness for Converting Legacy Fortran Applications
by: Bernd Gliss
Beyond Ada 95: The Addition of Persistence and Its Consequences
by: Michael Oudshoorn, Stephen Crawley
Reliability Modeling for Safety Critical Software
by: Norman F. Schneidewind
Secure Communication in Distributed Ada
by: Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications
by: Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95
by: Chad Bremmon
HCSD Unit Development Process: Step-Wise Process Improvement
by: David E. Emery, Jas Madhur
Testing Ada 95 Programs for Conformance to Rapide Architectures
by: Neel Madhav

1995

Ada in Mixed Language Applications
by: G. Taurisano, I. Williams
ReverseNICE: A Re-Engineering Methodology and Supporting Tool
by: Marco Battaglia, Giancarlo Savoia
Round Table Discussion: "Tools and Design Methods"
by: Finn Hass
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95
by: Heinz Schneeweiss, V. Amiot, O. Vix
Programming Distributed Systems with Both Ada 95 and PVM
by: Yvon Kermarrec, Laurent Pautet
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC)
by: F. Battini, P. L. Mantovani, Marco Mattavelli
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada
by: François Bossard
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application
by: A. Alapide, S. Candia, M. Cinella, S. Quaranta
Ada95 - An Approach to Overcome the Software Crisis?
by: Karlotto Mangold
Breaking Through the V and V Bottleneck
by: Martin Croxford, James Sutton
The Use of Ada for the ENVISAT-1 Simulator
by: B. Davies, D. A. Rothwell
PARIS - Partitioned Ada for Remotely Invoked Services
by: Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu
The Practical Application of Safety Techniques on an Ada Based Project
by: Rupert Brown
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada
by: Andrew Matthewman
KBSE and Ada - Object and Enabling Technology
by: Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
Modeling and Validation of Tasks with Algebraic Structured Nets
by: Didier Buchs, C. Buffard, P. Racloz
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95
by: Magnus Kempe
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle
by: Rik Simoens
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach
by: Zièd Choukair, Yvon Kermarrec
Objects at Use in Nautical Simulators
by: Kor Molenmaker
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD
by: Pete Cornwell, Andy J. Wellings
Performance Tuning of a Check-Out System Coded in Ada
by: Bernt Rognes, Per Ivar Skinderhaug
Ada: A Sceptical Assessment
by: Jean-François Kaufeler
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems
by: Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar
Testing Ada 95 Object-Oriented Programs
by: Stéphane Barbey
An ANDF Based Ada 95 Compiler System
by: Jørgen Bundgaard
Ada and Timed Automata
by: Lars Björnfot
Safe Ada Executive: An Executive for Ada Safety Critical Applications
by: Marc Richard-Foy
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool)
by: D. De Gabaï
DIS - An Interface to Distributed Interactive Simulation
by: Peter E. Obermayer, Georg Schüer, Rudolf Landwehr
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S
by: André Laurens
Design of Concurrent Software Based on Problem Concurrency
by: Bo Sanden
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems
by: P. David, T. Planche, A. Corrégé, J.-F. Chane
ASIS for GNAT: Goals, Problems and Implementation Strategy
by: Sergey Rybin, Alfred Strohmeier, Eugene Zueff
Ariane 5: Development of the On-Board Software
by: Jean-Noel Monfort, Vinh Qui Ribal
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets
by: Maurice Heitz
Distributed and Parallel Systems and HOOD 4
by: Rainer Gerlich, Mladen Kerep

1994

Extended Application of Ada to Cover ECBS with O4S
by: Ingmar Ögren
CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications
by: Jean Abadie, Béatrice Busquere
Distribution of Tasks within a Centrally Scheduled Local Area Network
by: Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment
by: Leslie P. Gale
Panel on Safety and Reliability, held on September 28, 1994
by: Finn Hass
How Should Military Ada Software be Documented?
by: Lewis Gray
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis
by: Peter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr
Object Orientation is not Always Best!
by: Roger Ward, John Stevens
A Knowledge-Based System for Diagnosis in Veterinary Medicine
by: Gérard Brunet
Run-Time Check Elimination for Ada 9X
by: Peter Lützen Møller
FAA Certification of Ada Run-Time Systems
by: Steen Silberg, Thorkil B. Rasmussen
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model
by: Jacques Sevestre, Jacques Brygier
Life*ADA: An APSE Integrating Multiple Compiler
by: Steen Ulrik Palm
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X
by: Patrick de Bondeli
Tool Support for High Integrity Ada Software
by: A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
Opening Address: Ada 9X
by: Chris Anderson
Test Methods and Tools for SOHO Mass Memory Unit Software
by: Paul Arberet, Laurent Desplas
Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods
by: Heinz Schneeweiss
The AECSS Fault Tolerant Distributed Ada Testbed and Application
by: Patrick Rogers, Marc Pitarys
Testing Ada Abstract Data Types Using Formal Specifications
by: Stéphane Barbey, Didier Buchs
How to Avoid and Control Proliferation of New Ada Real Time Extensions
by: Nasser Kettani
Beyond Abstract Data Types: Giving Life to Objects
by: Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten
A New Approach for HOOD/Ada Mapping
by: P. Dissaux, Patrick Farail, Pierre Leroy, P. Micouin
Formal Methods for a Space Software Development Environment
by: P. Taylor
Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems
by: Gilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers
Interfacing Computer Communications from Ada in a Diverse and Evolving Environment
by: Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski
A Front-End to HOOD - The Clyder Requirements Engineering Method
by: Jacques Hagelstein, Dominique Roelants
Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints
by: Fernando J. Nuñez, Rafael Prades
Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control
by: F. Ciceri, L. Marradi
Automatic Generation of Ada Source Code for the Rafale Mission Computer
by: Hervé Le Doeuff
Evolving an Ada Curriculum to 9X
by: John R. Rymer
Merging Ada 9X and C++ in a Graphics System Software Architecture
by: Jordan R. Kayloe, Patricia K. Lawlis
Safety Aspects of the Ariane 5 On-Board Software
by: Steven A. Birnie
Cost-Benefit Analysis for Software-Reuse - A Decision Procedure
by: Holger Noseck
Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD)
by: John A. Anderson
ESSPASE - European Space Software Product Assurance Support Environment
by: Franco Correrini, Paolo Panaroni
Handling Interrupts in Ada 9X
by: Joyce L. Tokar
Ada Controls the European Robotic Arm
by: Jeroen J. M. Wiggers, Marc J. A. Oort
Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments
by: Maurice Heitz
Tuning Ada Programs in Advance
by: Rainer Gerlich, Uwe Wagner
Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter
by: S. Francola, M. Manigrasso

1993

Applying Ada 9X to Two Real-Time Applications: A Case Study
by: J. Michael Kamrad II, Jim Hassett
Distributed Run-Time Systems, a Protocol for Ada
by: Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status
by: Robert F. Mathis
An Operational Computer Aided Software Environment: ILIADE
by: Marie-Gabrielle Bloch
Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35
by: Nasser Kettani, Vincent Celier
Graphics Development in Ada
by: Henri Pidault
Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part
by: Jerome R. Cherniack, Harpal S. Dhama, Jeanne F. Fandozzi
Avoiding Anomalies in Inheritance Schemes
by: Frederic H. Wild III
SAMeDL - A Pilot Project
by: Barrie Baston, Robert M. Schoenborn, Deb Waterman
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation
by: Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe
Adam, an Ada Simulation Toolkit
by: Rune Thyselius, Magnus Sjöland, Barbro Sjöland
Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling
by: Jürgen Schwille
Error-Prone Exception Handling in Large Ada Systems
by: Gary N. Bundy, Diane E. Mularz
Information Systems Support in Ada 9X
by: Benjamin M. Brosgol
Object-Oriented Design of an Air-Defence Simulator
by: R. H. Pierce, I. Marshall, S. J. Goodenough
The Impact of Ada on MIS Applications
by: Riadh Lebib
Structuring Iterators to Encourage Reuse
by: John Beidler
Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures
by: Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin
Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor
by: Lars Lundberg
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models
by: Alan Burns, Andy J. Wellings, A. D. Hutcheon
Certification of Ada Real-Time Executives for Safety Critical Applications
by: Jacques Brygier, Marc Richard-Foy
Performance Expectations on Ada Programs
by: Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist
Data Compatibility in a Heterogeneous Processor Environment
by: Michael J. Glasgow, Brian D. Nettleton
An Efficient Compiler Validation Method for Ada 9X
by: Michael Tonndorf
A Comparison of the Object-Oriented Features of Ada 9X and C++
by: Jesper Jørgensen II

1992

Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms
by: Thanh-Nu Do
A Highly Parallel Ada Task Scheduler
by: Susan Flynn Hummel
Considerations with Regard to Validation of Ada Debuggers
by: Steen Stilberg
Real Time Ada in the International Space Station Freedom
by: Gary Raines
An Evaluation of Ada Source Code Reuse
by: William M. Thomas, Alex Delis, Victor R. Basili
AMPATS - A Multi Processor Ada Tool Set
by: Karlotto Mangold
Distributed Application Designed Using MASCOT and Implemented in Ada
by: M. J. Looney, A. O'Brien
Task Dependence Net as a Representation for Concurrent Ada Programs
by: Jingde Cheng
Runtime System Support for Data-Oriented Synchronization in Ada-9X
by: M. Gobin, M. Timmerman, Frank Gielen
Designing Hard Real-Time Systems
by: Alan Burns, Andy J. Wellings
Porting Embedded Real-Time Ada Software
by: Fred A. Maymir-Ducharme
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications
by: Leslie C. Lander, Sandeep Mitra
Reusable Executives for Hard Real-Time Systems in Ada
by: Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso, José L. Fernández
Design and Code Metrics Through a DIANA-Based Tool
by: Wayne M. Zage, Dolores M. Zage, Manjari Bhargava, Dale J. Gaumer
Software Engineering, Ada and Metrics
by: Alison Wearing
Simulation of Mosca Specifications in Ada
by: Arlet Ottens, Hans Toetenel
Decimal Arithmetic in Ada
by: Benjamin M. Brosgol, Robert I. Eachus, David E. Emery
Predicting the Speedup of Parallel Ada Programs
by: Lars Lundberg
Using Ada in Integrating ATC Systems
by: Miech Groeneveld
Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls
by: Tzilla Elrad, Sungyoung Lee, Ufuk Verun
Managing Ada Object-Oriented Development
by: John A. Anderson, John D. Sheffler
Using Ada Source Code Generators in a Large Project
by: Rob Duell, Hugo J. Sebel, Franklin C. A. de Wit
SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set)
by: W. Treurniet
A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems
by: M. Bayassi, H. Bitteur, J. F. Jézéquel, P. Legrain
STRAda - An Ada Transformation and Distribution System
by: G. Bazalgette, D. Bekele, C. Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah

1991

Formally Specifying the Logic of an Automatic Guidance Controller
by: David Guaspari
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets
by: Jingde Cheng, Kazuo Ushijima
Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results
by: Uwe Baumgarten
An Approach To Benchmarking Ada Compilation Systems
by: Tom Curley
Reusable Input/Output Packages for Ada Avionic Applications
by: Alfred Rosskopf
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS
by: P. Soupos, S. Goutas
Reconfigurable Ada Distributed Control System Software
by: D. C. Levy, M. C. Randelhoff, Joyce L. Tokar
Modellin SIMD - Type Parallel Arithmetic Operations in Ada
by: Jürgen Wolff von Gudenberg
Ada in Safety Critical Applications
by: A. Welz
Design Assessment of Ada Systems Using Static Analysis
by: Alex Delis, William M. Thomas
Modelling the Temporal Summation of Neural Membranes Using the Ada Language
by: Michael C. Curtis, Victoria J. D. Sivess
Real-Time Electronic Funds Transfer and Ada
by: Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe
Constructing a Pilot Library of Components for Avionic Systems
by: José L. Fernández, Juan Antonio de la Puente
ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes
by: N. Badaro, Th. Moineau
Ada 9X Real-Time Scheduling Alternatives
by: Fred A. Maymir-Ducharme
Information Engineering for Systems in Ada
by: Stefan Björnson
A Coprocessor for High Performance Multiprocessor Ada Tasking
by: Lars Lundberg
Introducing HOOD into Software Process Modelling Based Environments
by: J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa
Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes
by: Brian Gilbert, Mike Taylor, Greg Bek
Software Reuse: Customer vs. Contractor Point-Counterpoint
by: Trevor Syms, Christine L. Braun
Testing and Integrating a Large Embedded Real-Time System
by: J.-M. Lippens, J. Arnol
Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques
by: C. Colombini, A. della Torre, R. Palotti
AFADA, a Measurement Tool for Ada
by: C. T. Tsalidis, A. E. Hatzimanikatis
The Use of Ada in Reactive Systems: A 3-Dimensional Model
by: Tzilla Elrad, V. Winans
Software Project Activity Network for Managing the Development and Testing Process
by: Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale

1986

The Ada Environment - A Personal View
by: Vic Stenning
Design of the Rational Environment
by: James E. Archer Jr.
Task Sequencing Languages for Specifying Distributed Ada Systems
by: David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
Software Development Based on Formal Methods
by: Cliff B. Jones
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
by: Egidio Astesiano, Gianna Reggio
The Software Engineering Institute at Carnegie Mellon University
by: A. Nico Habermann
Project Graphs and Meta-Programs. Towards a Theory of Software Development
by: Dines Bjørner
Engineering VAX Ada for a Multi-Language Programming Environment
by: Charles Z. Mitchell
Knowledge-Based Software Development from Requirements to Code
by: Stephen J. Westfold, Lawrence Markosian, William A. Brew
The PCTE Initiative: Toward a European Approach to Software Engineering
by: Ferdinando Gallo
Integration of Program Construction and Verification: The PROSPECTRA Methodology
by: Bernd Krieg-Brückner
Ada Compiler Validation: An Example of Software Testing Theory and Practice
by: John B. Goodenough

1983

Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example
by: John B. Goodenough, Thomas H. Probert
The Diana Interfacer
by: Teri F. Payton, S. E. Keller, J. A. Perkins, S. P. Mardinly
Databases in Software Development: The Ada Programming Support Environment
by: J. A. Hall
The Intermediate Language Diana
by: Guido Persch, Manfred Dausmann
A Formal Definition of Diana
by: Jürgen Uhl
Diana Past, Present, and Future
by: Kenneth J. Butler
The Toolpack/IST Approach to Extensibility in Software Environments
by: Leon J. Osterweil, Geoffrey Clemm
The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers
by: Guido Persch
Dianette - A Pragmatic Variant of Diana
by: M. P. Harrison
The Design of AIR and its Application to Ada Separate Compilation
by: James S. Briggs