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
On Ground System Integration and Testing: A Modern Approach
Rome Laboratory Software Engineering Technology Program
Artificial Intelligence Technology Program at Rome Laboratory
Hierarchical Object Oriented Design - HOOD: Possibilities, Limitations and Challenges
SDE's for the year 2000 and Beyond: an EF Perspective
The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems