Using Human Information Processing Principles to Design Advanced Traveler Information Systems
Validation and Test of Complex Weapons Systems
Conception Logicielle de Systeme Reactif avec une Methodologie d'Automates Utilisant le Language LDS
Le Developpement des Logiciels de Commandes de Vol - L'Experience Rafale
Specifications Executables des Logiciels des Systemes Complexes
Software Engineering Methods in the HERMES On-Board Software
Testing Operational Flight Programs (OFPs)
Software Testing Practices and their Evolution for the '90s
Object versus Functional Oriented Design
ENTREPRISE II: A PCTE Integrated Project Support Environment
Integrated Formal Verification and Validation of Safety Critical Software
Ada Run Time System Certification for Avionics Applications
A Generalization of the Software Engineering Maturity Model
A Common Ada Run-Time System for Avionics Software
Experiences with the HOOD Design Method on Avionics Software Development
Object Oriented Design of the Autonomous Fixtaking Management System
DSSA-ADAGE: An Environment for Architecture-Based Avionics Development
A Distributed Object-Based Environment in Ada
A Disciplined Approach to Software Test and Evaluation
Design of a Thin Wire Real-Time Multiprocessor Operating System