Ada-Europe
2005
- Smart Certification of Mixed Criticality Systemsby: Peter Amey, Rod Chapman, Neil White
- Non-intrusive System Level Fault-Toleranceby: Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov
- An Ada Framework for QoS-Aware Applicationsby: Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa
- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95by: Patrick Rogers, Andy J. Wellings
- A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TMby: Benjamin M. Brosgol
- Extending Ravenscar with CSP Channelsby: Diyaa-Addein Atiya, Steve King
- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernetby: José María Martínez, Michael González Harbour
- Distributing Criticality Across Ada Partitionsby: Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll
- ILTIS - The Legacy of a Successful Productby: Neville Rowden
- Proving Functional Equivalence for Program Slicing in SPARKby: Ricky E. Sward, Leemon C. Baird
- Using the AADL to Describe Distributed Applications from Middleware to Software Componentsby: Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
- Observing the Development of a Reliable Embedded Systemby: Devaraj Ayavoo, Michael J. Pont, Stephen Parker
- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicleby: Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan A. Pastor
- GNAT Pro for On-board Mission-Critical Space Applicationsby: José F. Ruiz
- A New Strategy for the HRT-HOOD to Ada Mappingby: Matteo Bordin, Tullio Vardanega
- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasksby: Mario Aldea Rivas, Javier Miranda, Michael González Harbour
- Efficient Alternatives for Implementing Fixed-Priority Schedulersby: Sergio Saez, Vicent Lorente, Silvia Terrasa, Alfons Crespo
- The ESA Ravenscar Benchmarkby: Romain Berrendonner, Jérôme Guitton
- Teaching Software Engineering with Ada 95by: Daniel Simon, Gunther Vogel, Erhard Plödereder
- Dynamic Tasks Verification with Quasarby: Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
- The Implementation of Ada 2005 Interface Types in the GNAT Compilerby: Javier Miranda, Edmond Schonberg, Gary Dismukes
- A Theory of Persistent Containers and Its Application to Adaby: Mário Amado Alves
- Vector Processing in Adaby: Franco Gasperoni
- Dynamic Ceiling Priorities: A Proposal for Ada0Yby: Jorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo
- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Adaby: Bárbara Álvarez, Juan A. Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro J. Navarro
- High-Integrity Interfacing to Programmable Logic with Adaby: Adrian J. Hilton, Jon G. Hall
- Implementing Execution-Time Clocks for the Ada Ravenscar Profileby: Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
- Shortcuts: A Critical Lookby: Matthew Heaney
- High Integrity Ada in a UML and C Worldby: Peter Amey, Neil White
- Benefits and Problems of Formal Methodsby: Martin Gogolla
- Implementing an Application-Defined Scheduling Framework for Ada Taskingby: Mario Aldea Rivas, Francisco Javier Miranda González, Michael González Harbour
- OpenAda: Compile-Time Reflection for Ada 95by: Patrick Rogers, Andy J. Wellings
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxby: Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
- Good Random Testingby: Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
- On the Role of Conceptual Schemas in Information Systems Developmentby: Antoni Olivé
- XML4Ada95 Accessing XML Using the DOM in Ada95by: Zdenko Vrandecic, Daniel Simon
- Mixing Scheduling Policies in Adaby: Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena
- On the Tree Width of Ada Programsby: Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applicationsby: Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
- A Randomised Test Approach to Testing Safety Critical Ada Codeby: Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar
- An Overview of Middlewareby: Steve Vinoski
- Extracting Ada 95 Objects from Legacy Ada Programsby: Ricky E. Sward
- Ada Meets Giottoby: Helge Hagenauer, Norbert Martinek, Werner Pohlmann
- Supporting Deadlines and EDF Scheduling in Adaby: Alan Burns, Andy J. Wellings, S. Tucker Taft
- Static Deadlock Detection in the Linux Kernelby: Peter T. Breuer, Marisol García-Valls
- Event Language for Real-Time On-the-Fly Control According to the Initial Requirementsby: Stepan P. Nadrchal
- The Chance for Ada to Support Distribution and Real-Time in Embedded Systemsby: Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
- A Test Environment for High Integrity Software Developmentby: Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano
- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95by: Tse-Min Lin, John A. McDermid
- Evidential Volume Approach for Certificationby: Silke Kuball, Gordon Hughes
- Experiences on Developing and Using a Tool Support for Formal Specificationby: Tommi Mikkonen
- Running Ada on Real-Time Linuxby: Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
- Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Designby: Ehud Lamm
- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MASTby: Francisco Ortiz, Bárbara Álvarez, Juan A. Pastor, Pedro Sánchez
- A Quality Model for the Ada Standard Container Libraryby: Xavier Franch, Jordi Marco
- Charles: A Data Structure Library for Ada95by: Matthew Heaney
- Some Architectural Features of Ada Systems Affecting Defectsby: William M. Evanco, June M. Verner
- Quasar: A New Tool for Concurrent Ada Programs Analysisby: Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Projectby: Mário Amado Alves, Alípio Jorge, Matthew Heaney
- Normalized Restricted Random Testingby: Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95by: Francisco Javier Miranda González, Michael González Harbour
- Transactions and Groups as Generic Building Blocks for Software Fault Toleranceby: Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky
- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Adaby: Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
- Modules for Crosscutting Modelsby: Mira Mezini, Klaus Ostermann
- A Round Robin Scheduling Policy for Adaby: Alan Burns, Michael González Harbour, Andy J. Wellings
- A Graphical Environment for GLADEby: Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández
- HRT-UML: Taking HRT-HOOD onto UMLby: Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega
- Adding Temporal Annotations and Associated Verification to Ravenscar Profileby: Alan Burns, Tse-Min Lin
- The Standard UML-Ada Profileby: Francis Thom
- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Softwareby: Niklas Holsti, Thomas Långbacka
- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluationby: Johann Blieberger, Bernd Burgstaller
- High Integrity Ravenscarby: Peter Amey, Brian Dobbing
- Software Fault Tolerance: An Overviewby: Jörg Kienzle
- Testing Safety Critical Ada Code Using Non Real Time Testingby: Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam
- An Invitation to Ada 2005by: Pascal Leroy
- Getting System Metrics Using POSIX Tracing Servicesby: 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 Javaby: Benjamin M. Brosgol, Andy J. Wellings
- Busy Wait Analysisby: Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
- A Survey of Physical Unit Handling Techniques in Adaby: Christoph Grein, Dmitry A. Kazakov, Fraser Wilson
- Closing the Loop: The Influence of Code Analysis on Designby: Peter Amey
- Concurrency Control in Transactional Dragoby: Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo
- Software Development Reengineering - An Experience Reportby: Adrian Hoe
- Language Issues of Compiling Ada to Hardwareby: Michael Ward, Neil C. Audsley
- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Studyby: Yuen-Tak Yu, Man Fai Lau
- Adding Design by Contract to the Ada Languageby: Ehud Lamm
- Transparent Environment for Replicated Ravenscar Applicationsby: Luís Miguel Pinho, Francisco Vasques
- OMC-INTEGRAL Memory Managementby: Jose Manuel Pérez Lobato, Eva Martín Lobo
- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATby: Paul Parkinson, Franco Gasperoni
- A Tailorable Distributed Programming Environmentby: Ernestina Martel, Francisco Guerra Santana, Francisco Javier Miranda González
- Contextware: Bridging Physical and Virtual Worldsby: Alois Ferscha
- Development of a Control System for Teleoperated Robots Using UML and Ada95by: Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andres Iborra, José M. Fernández
- Static Dependency Analysis for Concurrent Ada 95 Programsby: Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
- How to Use GNAT to Efficiently Preprocess New Ada Sentencesby: Francisco Javier Miranda González, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González
- A POSIX-Ada Interface for Application-Defined Schedulingby: Mario Aldea Rivas, Michael González Harbour
- GNAT Ada Database Development Environmentby: Michael Erdmann
- About the Difficulties of Building a Pretty-Printer for Adaby: Sergey Rybin, Alfred Strohmeier
- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standardby: Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo
- Ada, Interfaces and the Listener Paradigmby: Jean-Pierre Rosen
- Embedded Systems Unsuitable for Object Orientationby: Maarten Boasson
- Encapsulating Failure Detection: From Crash to Byzantine Failuresby: Assia Doudou, Benoît Garbinato, Rachid Guerraoui
- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applicationsby: Walter Binder, Balázs Lichtl
- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Adaby: Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
- On Architectural Stability and Evolutionby: Mehdi Jazayeri
- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processorsby: Alexander Chatzigeorgiou, George Stephanides
- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Componentsby: Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour
- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95by: Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf
- Using Object Orientation in High Integrity Applications: A Case Studyby: Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente
- Logic versus Magic in Critical Systemsby: Peter Amey
- Slicing Tagged Objects in Adaby: Zhengqiang Chen, Baowen Xu, Hongji Yang
- Safe Web Forms and XML Processing with Adaby: Mário Amado Alves
- Component Libraries and Language Featuresby: Ehud Lamm
- Ship System 2000, a Stable Architecture under Continuous Evolutionby: Björn Källberg, Rei Stråhle
- Reliable Communication in Distributed Computer-Controlled Systemsby: Luís Miguel Pinho, Francisco Vasques
- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Softwareby: Darren Foulger, Steve King
- Object-Oriented Stable Storage Based on Mirroringby: Xavier Caron, Jörg Kienzle, Alfred Strohmeier
- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORKby: Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
- Using Ada in Interactive Digital Television Systemsby: Pascal Héraud, Thierry Lelégard
- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluationby: Tsong Yueh Chen, Man Fai Lau
- Migrating Large Applications from Ada83 to Ada95by: Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage
- Transaction Support for Adaby: Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez
- Defining New Non-preemptive Dispatching and Locking Policies for Adaby: Alan Burns
- Can Java Meet Its Real-Time Deadlines?by: Benjamin M. Brosgol, Brian Dobbing
- Expression Templates in Adaby: Alexandre Duret-Lutz
- OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Codeby: Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier
- JEWL: A GUI Library for Educational Useby: John English
- Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applicationsby: Mario Aldea Rivas
- Testing from Formal Specifications, a Generic Approachby: Marie-Claude Gaudel
- Scenario-Based System Assessmentby: Silke Kuball
- Building Formal Requirements Models for Reliable Softwareby: Axel van Lamsweerde
- Building Robust Applications by Reusing Non-robust Legacy Softwareby: Francisco Guerra Santana, Francisco Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero
- Complex Task Implementation in Adaby: Alfons Crespo, Patricia Balbastre, Silvia Terrasa
- A Design Pattern for State Machines and Concurrent Activitiesby: Bo Sanden
- Parameter-Induced Aliasing in Adaby: Wolfgang Gellerich, Erhard Plödereder
- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinementsby: Joyce L. Tokar
- Modelling Communication Interfaces with COMIXby: Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel
- Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernelsby: Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
- Mapping UML to Adaby: Bill Taylor, Einar W. Karlsen
- Building Modern Distributed Systemsby: Laurent Pautet, Thomas Quinot, Samuel Tardieu
- Implementing a Flexible Scheduler in Adaby: Guillem Bernat, Alan Burns
- An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionby: Néstor R. Barraza, Jonas D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi
- An Open Ravenscar Real-Time Kernel for GNATby: Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
- An Ada95 Programming Style Checker Using the GNAT ASIS Implementationby: Patrick Closhen, Hans-Jürgen Hoffmann
- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95by: Detlef Schmitt
- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulationby: Mahesh Deshpande, Frank P. Coyle, Jeff Tian
- (True) Polymorphism in SPARK2000by: Tse-Min Lin, John A. McDermid
- Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Javaby: Reto Weiss
- Ada after 10 Years of Usage - Is There a Commercial Future?by: Bryan Pflug
- Reengineering the Booch Component Libraryby: Jordi Marco, Xavier Franch
- ASIS-for-GNAT: A Report of Practical Experiencesby: Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov
- Constructing Reliable Embedded Systems Using the Results of System Safety Analysisby: Giuseppe Mauri, Stefan Scheer
- Support of Technology Development in the Information Societyby: Rainer Zimmermann
- Generation of Interface Design Description Documents Using ASISby: Steven V. Hovater, William Marksteiner, Allen Butturini
- On the Minimal Essential Subsets and Minimal Representative Setsby: Tsong Yueh Chen, Man Fai Lau
- A Supporting Tool for Development of Self-Measurement Ada Programsby: Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
- Results of an Investigation into Software Integration Testing Automationby: Simon Kiteley, Jonathan Draper
- Object-Oriented Programming and Protected Objects in Ada 95by: Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell
- Using JavaTM APIs with Native Ada Compilersby: Shayne Flint, Brian Dobbing
- GtkAda: Design and Implementation of a High Level Binding in Adaby: Emmanuel Briot, Joël Brobecker, Arnaud Charlet
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programsby: Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
- Exceptions in OO Languages: Using Them and Reasoning about Themby: Neelam Soundarajan, Stephen Fridella
- Enhancements in Software Project Risk Managementby: Peter Wieland, Frode Høgberg, Kristin Strømseng
- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Projectby: Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend
- Static Worst-Case Execution Time Analysis of Synchronous Programsby: Thomas Ringler
- On Persistent and Reliable Streaming in Adaby: Jörg Kienzle, Alexander B. Romanovsky
- Is an Ada Lint Necessary?by: Björn Källberg
- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switchby: J. Michael Kamrad II, Barry A. Spinney
- Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORTby: Roderick Chapman, Robert Dewar
- Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraineby: Alexandr Korochkin
- Acceptance Testing of Object Oriented Systemsby: José L. Fernández
- Development of Flight Control Software in Ada: Architecture and Design Issues and Approachesby: Alfred Rosskopf
- Browsing a Component Library Using Non-functional Informationby: Xavier Franch, Josep Pinyol, Joan Vancells
- A Case Study in the Reuse of On-board Embedded Real-Time Softwareby: Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen
- Environment for the Development and Specification of Real-Time Ada Programsby: Apolinar González, Alfons Crespo
- Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDLby: Adrian López, Maite Veiga, Eugenio Villar
- Fault Tolerance by Transparent Replication for Distributed Ada 95by: Thomas Wolf, Alfred Strohmeier
- Translating Time Petri Net Structures into Ada 95 Statementsby: F. J. García, J. L. Villarroel
- Efficient and Extensible Multithreaded Remote Serversby: 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 Mobilityby: Emilio Tuosto
- HW/SW Co-design of Embedded Systemsby: William Fornaciari, Donatella Sciuto
- The Ceiling Protocol in Multi-moded Real-Time Systemsby: Jorge Real, Andy J. Wellings
- yaRTI, an Ada 95 HLA Run-Time Infrastructureby: Dominique Canazzi
- An Incremental RecoveryCache Supporting Sotware Fault Toleranceby: Patrick Rogers, Andy J. Wellings
- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsby: Kristina Lundqvist, Lars Asplund, Stephen Mitchell
- Report on the VERA Experimentby: Bruno Hémeury
- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systemsby: Helge Hagenauer
- Architectural Frameworks: Defining the Contents of Architectural Descriptionsby: David E. Emery
- Implementing a New Low-Level Tasking Support for the GNAT Runtime Systemby: José F. Ruiz, Jesús M. González-Barahona
- An Architectual Perspective of Real-Time Ada Applicationsby: C. Douglas Locke
- A ``Bare-Machine'' Implementation of Ada Multi-tasking Beneath the Linux Kernelby: Hongfeng Shen, Arnaud Charlet, Theodore P. Baker
- Interprocedural Symbolic Evaluation of Ada Programs with Aliasesby: Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
- Ada Binding to a Shared Object Layerby: Johann Blieberger, Johann Klasek, eva Kühn
- System on Chip Specification and Design Languages Standardizationby: Jean Mermet
- Railway Scale Model Simulatorby: Pierre Breguet, Luigi Zaffalon
- Mapping Object-Oriented Designs to Adaby: Alfred Strohmeier
- An Ada95 Solution for Certification of Embedded Safety Critical Applicationsby: Jacob Frost
- Automatic Verification of Concurrent Ada Programsby: Eric Bruneton, Jean-François Pradat-Peyre
- Shared Recoverable Objectsby: Jörg Kienzle, Alfred Strohmeier
- An Application (Layer 7) Routing Switch with Ada95 Softwareby: 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 Persistenceby: Thierry Millan, Myriam Lamolle, Frédéric Mulatero
- How to Modify the GNAT Frontend tp Experiment with Ada Extensionsby: Francisco Javier Miranda González, Francisco Guerra Santana, José Martín, Alexis González
- MetaScribe, an Ada-based Tool for the Construction of Transformation Enginesby: Fabrice Kordon
- Ada+B The Formula for Safety Critical Software Developmentby: Pierre Chapront
- Inside the Distributed Systems Annexby: Laurent Pautet, Samuel Tardieu
- A Case Study in Quantitative Evaluation of Real-Time Software Architecturesby: José L. Fernández, Bárbara Álvarez, Francisco Garcia, Ángel Pérez, Juan Antonio de la Puente
- Looking at Code With Your Safety Goggles Onby: Ken Wong
- Modern Avionics Requirements for the Distributed Systems Annexby: Bruce Lewis, Steve Vestal, David J. McConnell
- Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applicationsby: Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
- Embedded Opportunitiesby: Franco Gasperoni
- PINROB: A Portable API for Industrial Robotsby: Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot
- Symbolic Reaching Definitions Analysis of Ada Programsby: Johann Blieberger, Bernd Burgstaller
- Synchronizing Multiple Clients and Serversby: Mordechai Ben-Ari
- How to Avoid the Inheritance Anomaly in Adaby: Guido Schumacher, Wolfgang Nebel
- Building Modular Communication Systems in Ada: The Simple_Com Approachby: 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 ASISby: Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey
- Integrating Groups and Transactions: A Fault-Tolerant Extension of Adaby: Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo
- A Two-Level Matching Mechanism for Object-Oriented Class Librariesby: 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 Programsby: Alan Burns, Brian Dobbing, G. Romanski
- Guidance on the Use of Ada95 in High Integrity Systemsby: Steve Michell, Mark Saaltink
- Ada in the JAS 39 Gripen Flight Control Systemby: Bo Frisberg
- Ten Years of Tool Based Ada Compiler Validations. An Experience Reportby: Michael Tonndorf
- Porting the GNAT Tasking Runtime System to the Java Virtual Machineby: Laurent Millet, Ted Baker
- Programming Hard Real-Time Systems with Optional Components in Adaby: Augustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes
- (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternativeby: Martin J. Stift
- Ada 95 for a Distributed Simulation Systemby: Helge Hagenauer, Werner Pohlmann
- Object Oriented Abstractions for Real-Time Distributes Systemsby: Scott Arthur Moody
- An Alternative Toolset for Analysis of Ada Programsby: Alex E. Bell
- CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Projectby: Philippe Pichon
- Capturing and Verifying Performance Requirements for Hard Real Time Systemsby: R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle
- Ada 95 as a Base to Architect Systems in O4STMby: Ingmar Ögren
- Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARKby: J. Phil Thornley
- Techniques for Testing Ada 95by: S. R. Waterman
- The SPIF Projectby: Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
- Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methodsby: K. S. Cheung, Paul Kai-on Chow, T. Y. Cheung
- An Ada Library to Program Fault-Tolerant Distributed Applicationsby: Francisco Guerra Santana, Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo
- Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selectionby: Xavier Franch
- An Ada 95 Sort Race Construction Setby: Michael B. Feldman
- Systematic Unit-Testing of Ada Programsby: Joachim Wegener, Ines Fey
- Tha Dangers of Inheritanceby: John English
- Semantics-Based Support Tools for High Integrity Ada Softwareby: W. L. Yeung
- Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementationby: Theodore P. Baker, Dong-Ik Oh
- On Programming Atomic Actions in Ada 95by: Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings
- Computer Aided Teaching of Programming Languages: An Ada-specific Developmentby: J. E. Cooling, N. Duff, J. Cooling
- Implementing Application-Level Sporadic Server Schedulers in Ada 95by: Michael González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
- Developing Scripting Capabilities for an Ada-Based Simulatorby: Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen
- T-SMART - Task-Safe, Minimal Ada Realtime Toolsetby: Brian Dobbing, Marc Richard-Foy
- Code-Data Consistency in Adaby: Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson
- : Parameter-Induced Aliasing and Related Problems can be Avoidedby: Wolfgang Gellerich, Erhard Plödereder
- Task Termination in Ada 95by: Andy J. Wellings, Alan Burns, Offer Pazy
- Finite Unions for Ada 95by: Bernd Holzmüller, Erhard Plödereder
- Supporting Ada 95 Passive Partitions in a Distributed Environmentby: Frank Mueller
- Implementing Protected Types on Embedded Targetsby: 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 Detectionby: Jingde Cheng, Kazuo Ushijima
- Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Librariesby: Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
- Shared Packages Through Lindaby: 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 Adaby: Hyoseob Kim, Cornelia Boldyreff
- Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessmentby: Alfred Rosskopf
- The GNARL Implementation of POSIX/Ada Signal Servicesby: Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon
- ASIS for GNAT: From the Prototype to the Full Implementationby: Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov
- Programming the Internet in Ada 95by: S. Tucker Taft
- Ada 95 and Critical Systems: An Analytical Approachby: Dan Craigen, Mark Saaltink, Steve Michell
- An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programmingby: Patrick de Bondeli
- On Some Characterisation Problems of Subdomain Testingby: Tsong Yueh Chen, Yuen-Tak Yu
- A Framework for Testing Object-Oriented Software Using Formal Specificationsby: Rohan Fletcher, A. S. M. Sajeev
- Iterative Software Development for Large Ada Programsby: Philippe Kruchten, Christopher J. Thompson
- Converting the Part Task Nautical Simulator to Ada 95by: Kor Molenmaker
- Planning the Transition to Ada 95 for a Large Real-Time Projectby: Roland Feith, Michael Tonndorf
- The Dining Philosophers in Ada 95by: Benjamin M. Brosgol
- Interprocedural Call Optimizationby: Tim Birus, Christine Cipriani, Dean Sutherland
- Ada 95: An Effective Concurrent Programming Languageby: Alan Burns, Andy J. Wellings
- Using Ada 95 for Prototyping Real-Time Systemsby: Jorge Real, Augustín Espinosa, Alfons Crespo
- Extending the Object-Orientedness of Ada 95by: Bernd Holzmüller
- Experiences Applying a Practical Architectural Methodby: David E. Emery, Richard F. Hilliard II, Timothy B. Rice
- A Decade of Development and Development of Distributed Ada Systemsby: John D. Smart
- Visibility Control and Migration of Interfaces in Large Ada Systemsby: Vincent Celier
- Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83by: Thierry Millan, Pierre Bazex
- Augmenting Ada 95 with Additional Real-Time Featuresby: Johann Blieberger, Roland Lieger, Bernd Burgstaller
- Fault-Tolerance by Replication in Distributed Systemsby: Rachid Guerraoui, André Schiper
- Handling Irregular Grammars in Adaby: Drasko M. Sotirovski, Philippe Kruchten
- Using Object-Oriented Methods in Ada 95 to Implement Lindaby: Kristina Lundqvist, Göran Wall
- An Ada 95 Harness for Converting Legacy Fortran Applicationsby: Bernd Gliss
- Beyond Ada 95: The Addition of Persistence and Its Consequencesby: Michael Oudshoorn, Stephen Crawley
- Reliability Modeling for Safety Critical Softwareby: Norman F. Schneidewind
- Secure Communication in Distributed Adaby: Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
- Drago: An Ada Extension to Program Fault-Tolerant Distributed Applicationsby: 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 95by: Chad Bremmon
- HCSD Unit Development Process: Step-Wise Process Improvementby: David E. Emery, Jas Madhur
- Testing Ada 95 Programs for Conformance to Rapide Architecturesby: Neel Madhav
- Ada in Mixed Language Applicationsby: G. Taurisano, I. Williams
- ReverseNICE: A Re-Engineering Methodology and Supporting Toolby: Marco Battaglia, Giancarlo Savoia
- Round Table Discussion: "Tools and Design Methods"by: Finn Hass
- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95by: Heinz Schneeweiss, V. Amiot, O. Vix
- Programming Distributed Systems with Both Ada 95 and PVMby: 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 Adaby: François Bossard
- Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Applicationby: 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 Bottleneckby: Martin Croxford, James Sutton
- The Use of Ada for the ENVISAT-1 Simulatorby: B. Davies, D. A. Rothwell
- PARIS - Partitioned Ada for Remotely Invoked Servicesby: Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu
- The Practical Application of Safety Techniques on an Ada Based Projectby: Rupert Brown
- ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Adaby: Andrew Matthewman
- KBSE and Ada - Object and Enabling Technologyby: Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
- Modeling and Validation of Tasks with Algebraic Structured Netsby: Didier Buchs, C. Buffard, P. Racloz
- Heterogeneous Data Structures and Cross-Classification of Objects with Ada95by: Magnus Kempe
- The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycleby: Rik Simoens
- Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approachby: Zièd Choukair, Yvon Kermarrec
- Objects at Use in Nautical Simulatorsby: Kor Molenmaker
- Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOODby: Pete Cornwell, Andy J. Wellings
- Performance Tuning of a Check-Out System Coded in Adaby: Bernt Rognes, Per Ivar Skinderhaug
- Ada: A Sceptical Assessmentby: Jean-François Kaufeler
- Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systemsby: Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar
- Testing Ada 95 Object-Oriented Programsby: Stéphane Barbey
- An ANDF Based Ada 95 Compiler Systemby: Jørgen Bundgaard
- Ada and Timed Automataby: Lars Björnfot
- Safe Ada Executive: An Executive for Ada Safety Critical Applicationsby: 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 Simulationby: Peter E. Obermayer, Georg Schüer, Rudolf Landwehr
- PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.Sby: André Laurens
- Design of Concurrent Software Based on Problem Concurrencyby: Bo Sanden
- Developing Fault Tolerant Software in Ada for Real-Time Dependable Systemsby: P. David, T. Planche, A. Corrégé, J.-F. Chane
- ASIS for GNAT: Goals, Problems and Implementation Strategyby: Sergey Rybin, Alfred Strohmeier, Eugene Zueff
- Ariane 5: Development of the On-Board Softwareby: Jean-Noel Monfort, Vinh Qui Ribal
- Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targetsby: Maurice Heitz
- Distributed and Parallel Systems and HOOD 4by: Rainer Gerlich, Mladen Kerep
- Extended Application of Ada to Cover ECBS with O4Sby: Ingmar Ögren
- CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applicationsby: Jean Abadie, Béatrice Busquere
- Distribution of Tasks within a Centrally Scheduled Local Area Networkby: Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
- Recommendations and Proposals for an Ada Strategy in the Space Software Development Environmentby: Leslie P. Gale
- Panel on Safety and Reliability, held on September 28, 1994by: 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 Analysisby: 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 Medicineby: Gérard Brunet
- Run-Time Check Elimination for Ada 9Xby: Peter Lützen Møller
- FAA Certification of Ada Run-Time Systemsby: Steen Silberg, Thorkil B. Rasmussen
- Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Modelby: Jacques Sevestre, Jacques Brygier
- Life*ADA: An APSE Integrating Multiple Compilerby: Steen Ulrik Palm
- A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9Xby: Patrick de Bondeli
- Tool Support for High Integrity Ada Softwareby: A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
- Opening Address: Ada 9Xby: Chris Anderson
- Test Methods and Tools for SOHO Mass Memory Unit Softwareby: Paul Arberet, Laurent Desplas
- Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methodsby: Heinz Schneeweiss
- The AECSS Fault Tolerant Distributed Ada Testbed and Applicationby: Patrick Rogers, Marc Pitarys
- Testing Ada Abstract Data Types Using Formal Specificationsby: Stéphane Barbey, Didier Buchs
- How to Avoid and Control Proliferation of New Ada Real Time Extensionsby: Nasser Kettani
- Beyond Abstract Data Types: Giving Life to Objectsby: Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten
- A New Approach for HOOD/Ada Mappingby: P. Dissaux, Patrick Farail, Pierre Leroy, P. Micouin
- Formal Methods for a Space Software Development Environmentby: P. Taylor
- Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systemsby: Gilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers
- Interfacing Computer Communications from Ada in a Diverse and Evolving Environmentby: Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski
- A Front-End to HOOD - The Clyder Requirements Engineering Methodby: Jacques Hagelstein, Dominique Roelants
- Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraintsby: Fernando J. Nuñez, Rafael Prades
- Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Controlby: F. Ciceri, L. Marradi
- Automatic Generation of Ada Source Code for the Rafale Mission Computerby: Hervé Le Doeuff
- Evolving an Ada Curriculum to 9Xby: John R. Rymer
- Merging Ada 9X and C++ in a Graphics System Software Architectureby: Jordan R. Kayloe, Patricia K. Lawlis
- Safety Aspects of the Ariane 5 On-Board Softwareby: Steven A. Birnie
- Cost-Benefit Analysis for Software-Reuse - A Decision Procedureby: Holger Noseck
- Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD)by: John A. Anderson
- ESSPASE - European Space Software Product Assurance Support Environmentby: Franco Correrini, Paolo Panaroni
- Handling Interrupts in Ada 9Xby: Joyce L. Tokar
- Ada Controls the European Robotic Armby: Jeroen J. M. Wiggers, Marc J. A. Oort
- Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developmentsby: Maurice Heitz
- Tuning Ada Programs in Advanceby: Rainer Gerlich, Uwe Wagner
- Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeterby: S. Francola, M. Manigrasso
- Applying Ada 9X to Two Real-Time Applications: A Case Studyby: J. Michael Kamrad II, Jim Hassett
- Distributed Run-Time Systems, a Protocol for Adaby: Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall
- Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Statusby: Robert F. Mathis
- An Operational Computer Aided Software Environment: ILIADEby: 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.35by: Nasser Kettani, Vincent Celier
- Graphics Development in Adaby: Henri Pidault
- Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Partby: Jerome R. Cherniack, Harpal S. Dhama, Jeanne F. Fandozzi
- Avoiding Anomalies in Inheritance Schemesby: Frederic H. Wild III
- SAMeDL - A Pilot Projectby: Barrie Baston, Robert M. Schoenborn, Deb Waterman
- The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementationby: Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe
- Adam, an Ada Simulation Toolkitby: Rune Thyselius, Magnus Sjöland, Barbro Sjöland
- Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handlingby: Jürgen Schwille
- Error-Prone Exception Handling in Large Ada Systemsby: Gary N. Bundy, Diane E. Mularz
- Information Systems Support in Ada 9Xby: Benjamin M. Brosgol
- Object-Oriented Design of an Air-Defence Simulatorby: R. H. Pierce, I. Marshall, S. J. Goodenough
- The Impact of Ada on MIS Applicationsby: Riadh Lebib
- Structuring Iterators to Encourage Reuseby: John Beidler
- Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architecturesby: Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin
- Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessorby: Lars Lundberg
- The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Modelsby: Alan Burns, Andy J. Wellings, A. D. Hutcheon
- Certification of Ada Real-Time Executives for Safety Critical Applicationsby: Jacques Brygier, Marc Richard-Foy
- Performance Expectations on Ada Programsby: Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist
- Data Compatibility in a Heterogeneous Processor Environmentby: Michael J. Glasgow, Brian D. Nettleton
- An Efficient Compiler Validation Method for Ada 9Xby: Michael Tonndorf
- A Comparison of the Object-Oriented Features of Ada 9X and C++by: Jesper Jørgensen II
- Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platformsby: Thanh-Nu Do
- A Highly Parallel Ada Task Schedulerby: Susan Flynn Hummel
- Considerations with Regard to Validation of Ada Debuggersby: Steen Stilberg
- Real Time Ada in the International Space Station Freedomby: Gary Raines
- An Evaluation of Ada Source Code Reuseby: William M. Thomas, Alex Delis, Victor R. Basili
- AMPATS - A Multi Processor Ada Tool Setby: Karlotto Mangold
- Distributed Application Designed Using MASCOT and Implemented in Adaby: M. J. Looney, A. O'Brien
- Task Dependence Net as a Representation for Concurrent Ada Programsby: Jingde Cheng
- Runtime System Support for Data-Oriented Synchronization in Ada-9Xby: M. Gobin, M. Timmerman, Frank Gielen
- Designing Hard Real-Time Systemsby: Alan Burns, Andy J. Wellings
- Porting Embedded Real-Time Ada Softwareby: Fred A. Maymir-Ducharme
- Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applicationsby: Leslie C. Lander, Sandeep Mitra
- Reusable Executives for Hard Real-Time Systems in Adaby: Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso, José L. Fernández
- Design and Code Metrics Through a DIANA-Based Toolby: Wayne M. Zage, Dolores M. Zage, Manjari Bhargava, Dale J. Gaumer
- Software Engineering, Ada and Metricsby: Alison Wearing
- Simulation of Mosca Specifications in Adaby: Arlet Ottens, Hans Toetenel
- Decimal Arithmetic in Adaby: Benjamin M. Brosgol, Robert I. Eachus, David E. Emery
- Predicting the Speedup of Parallel Ada Programsby: Lars Lundberg
- Using Ada in Integrating ATC Systemsby: Miech Groeneveld
- Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controlsby: Tzilla Elrad, Sungyoung Lee, Ufuk Verun
- Managing Ada Object-Oriented Developmentby: John A. Anderson, John D. Sheffler
- Using Ada Source Code Generators in a Large Projectby: 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 Systemsby: M. Bayassi, H. Bitteur, J. F. Jézéquel, P. Legrain
- STRAda - An Ada Transformation and Distribution Systemby: G. Bazalgette, D. Bekele, C. Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah
- Formally Specifying the Logic of an Automatic Guidance Controllerby: David Guaspari
- Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Netsby: Jingde Cheng, Kazuo Ushijima
- Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Resultsby: Uwe Baumgarten
- An Approach To Benchmarking Ada Compilation Systemsby: Tom Curley
- Reusable Input/Output Packages for Ada Avionic Applicationsby: Alfred Rosskopf
- Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMSby: P. Soupos, S. Goutas
- Reconfigurable Ada Distributed Control System Softwareby: D. C. Levy, M. C. Randelhoff, Joyce L. Tokar
- Modellin SIMD - Type Parallel Arithmetic Operations in Adaby: Jürgen Wolff von Gudenberg
- Ada in Safety Critical Applicationsby: A. Welz
- Design Assessment of Ada Systems Using Static Analysisby: Alex Delis, William M. Thomas
- Modelling the Temporal Summation of Neural Membranes Using the Ada Languageby: Michael C. Curtis, Victoria J. D. Sivess
- Real-Time Electronic Funds Transfer and Adaby: Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe
- Constructing a Pilot Library of Components for Avionic Systemsby: José L. Fernández, Juan Antonio de la Puente
- ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codesby: N. Badaro, Th. Moineau
- Ada 9X Real-Time Scheduling Alternativesby: Fred A. Maymir-Ducharme
- Information Engineering for Systems in Adaby: Stefan Björnson
- A Coprocessor for High Performance Multiprocessor Ada Taskingby: Lars Lundberg
- Introducing HOOD into Software Process Modelling Based Environmentsby: J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa
- Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processesby: Brian Gilbert, Mike Taylor, Greg Bek
- Software Reuse: Customer vs. Contractor Point-Counterpointby: Trevor Syms, Christine L. Braun
- Testing and Integrating a Large Embedded Real-Time Systemby: J.-M. Lippens, J. Arnol
- Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniquesby: C. Colombini, A. della Torre, R. Palotti
- AFADA, a Measurement Tool for Adaby: C. T. Tsalidis, A. E. Hatzimanikatis
- The Use of Ada in Reactive Systems: A 3-Dimensional Modelby: Tzilla Elrad, V. Winans
- Software Project Activity Network for Managing the Development and Testing Processby: Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale
- The Ada Environment - A Personal Viewby: Vic Stenning
- Design of the Rational Environmentby: James E. Archer Jr.
- Task Sequencing Languages for Specifying Distributed Ada Systemsby: David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
- Software Development Based on Formal Methodsby: Cliff B. Jones
- The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introductionby: Egidio Astesiano, Gianna Reggio
- The Software Engineering Institute at Carnegie Mellon Universityby: A. Nico Habermann
- Project Graphs and Meta-Programs. Towards a Theory of Software Developmentby: Dines Bjørner
- Engineering VAX Ada for a Multi-Language Programming Environmentby: Charles Z. Mitchell
- Knowledge-Based Software Development from Requirements to Codeby: Stephen J. Westfold, Lawrence Markosian, William A. Brew
- The PCTE Initiative: Toward a European Approach to Software Engineeringby: Ferdinando Gallo
- Integration of Program Construction and Verification: The PROSPECTRA Methodologyby: Bernd Krieg-Brückner
- Ada Compiler Validation: An Example of Software Testing Theory and Practiceby: John B. Goodenough
- Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Exampleby: John B. Goodenough, Thomas H. Probert
- The Diana Interfacerby: Teri F. Payton, S. E. Keller, J. A. Perkins, S. P. Mardinly
- Databases in Software Development: The Ada Programming Support Environmentby: J. A. Hall
- The Intermediate Language Dianaby: Guido Persch, Manfred Dausmann
- A Formal Definition of Dianaby: Jürgen Uhl
- Diana Past, Present, and Futureby: Kenneth J. Butler
- The Toolpack/IST Approach to Extensibility in Software Environmentsby: Leon J. Osterweil, Geoffrey Clemm
- The Use of Diana in Compilers, Language Transformers, Formatters and Debuggersby: Guido Persch
- Dianette - A Pragmatic Variant of Dianaby: M. P. Harrison
- The Design of AIR and its Application to Ada Separate Compilationby: James S. Briggs
