| |
| |
| Ada: A Sceptical Assessment | |
| |
| |
| |
| Ada95 - An Approach to Overcome the Software Crisis? | |
| |
| |
| |
| Safe Ada Executive: An Executive for Ada Safety Critical Applications | |
| |
| |
| |
| Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems | |
| |
| |
| |
| The Practical Application of Safety Techniques on an Ada Based Project | |
| |
| |
| |
| Ada in Mixed Language Applications | |
| |
| |
| |
| Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 | |
| |
| |
| |
| An ANDF Based Ada 95 Compiler System | |
| |
| |
| |
| Performance Tuning of a Check-Out System Coded in Ada | |
| |
| |
| |
| Ariane 5: Development of the On-Board Software | |
| |
| |
| |
| PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S | |
| |
| |
| |
| ASIS for GNAT: Goals, Problems and Implementation Strategy | |
| |
| |
| |
| KBSE and Ada - Object and Enabling Technology | |
| |
| |
| |
| Extending the Ada 95 Initial Conditions for Preelaboration for use in Real-Time Systems | |
| |
| |
| |
| The Use of Ada for the ENVISAT-1 Simulator | |
| |
| |
| |
| Objects at Use in Nautical Simulators | |
| |
| |
| |
| DIS - An Interface to Distributed Interactive Simulation | |
| |
| |
| |
| PARIS - Partitioned Ada for Remotely Invoked Services | |
| |
| |
| |
| Programming Distributed Systems with Both Ada 95 and PVM | |
| |
| |
| |
| Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach | |
| |
| |
| |
| Distributed and Parallel Systems and HOOD 4 | |
| |
| |
| |
| ReverseNICE: A Re-Engineering Methodology and Supporting Tool | |
| |
| |
| |
| Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95 | |
| |
| |
| |
| The Introduction of an Object-Oriented Analysis/Design Method and ObJect-Oriented Metrics in the Software Development Life-Cycle | |
| |
| |
| |
| Modeling and Validation of Tasks with Algebraic Structured Nets | |
| |
| |
| |
| Design of Concurrent Software Based on Problem Concurrency | |
| |
| |
| |
| ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada | |
| |
| |
| |
| Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application | |
| |
| |
| |
| Breaking Through the V and V Bottleneck | |
| |
| |
| |
| Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada | |
| |
| |
| |
| Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD | |
| |
| |
| |
| Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) | |
| |
| |
| |
| Ada and Timed Automata | |
| |
| |
| |
| Testing Ada 95 Object-Oriented Programs | |
| |
| |
| |
| Achieving Reusable and Reliable Client-Server Code using HOOD automated code generation for Ada95 and C++ targets | |
| |
| |
| |
| Round Table Discussion: "Tools and Design Methods" | |
| |
| |
| |
| LAMPBADA: Logiciel d'Aide a la Mise au Point de Bibliotheques Ada (Ada Librairies Validation Tool) | |
| |