The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems
Potential Software Failures Methodology Analysis
The Discipline of Defining the Software Product
A Common Approach for an Aerospace Software Environment
Designing and Maintaining Decision-Making Processes
Mastering the Increasing Complexity of Avionics
Keynote Address - Requirements Engineering Based on Automatic Programming of Software Architectures
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
SDE's for the year 2000 and Beyond: an EF Perspective
Software Engineering Methods in the HERMES On-Board Software
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
Validation and Test of Complex Weapons Systems
Conception Logicielle de Systeme Reactif avec une Methodologie d'Automates Utilisant le Language LDS