Hierarchical Object Oriented Design - HOOD: Possibilities, Limitations and Challenges
The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems
Potential Software Failures Methodology Analysis
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
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
Improving Reuse in Space (IRIS)
The Packet TCE and the Farm Emulator as Test Environment for the TC Chain Applications
Onboard Software Maintenance - An Operational Task
Onboard Software Design & Development Issues for the `Era'