Software Engineering Methods in the HERMES On-Board Software
SDE's for the year 2000 and Beyond: an EF Perspective
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
Embedded Expert System: From the Mock-Up to the Real World
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
The Discipline of Defining the Software Product
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
The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems
Potential Software Failures Methodology Analysis
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
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
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
RELIASEP - A Technique for Safe Design
Domain Engineering - An Enabling Technology for Product Assurance
Developing a Successful Metrics Programme
Assurance Produit des Etudes: Une Approche Pragmatique
Learning Lessons: How to Collect and Use Past Experience
Quality Information System (QIS)
ISO 9001 and the ESA Quality Assurance Requirements for Space Systems, ESA PSS-01-20: A Comparison
Lessons learned from Pilot Applications of Sneak Analysis in Space Projects
Use of Decision Analysis in Risk Management
Rigorously Assessing Software Reliability and Safety
Mission Control Software Experience: Some Important Aspects from the User's Viewpoint
The Future of Reliability Predictions
Risk Management in US Manned Spacecraft: From Apollo to Alpha and Beyond
Choice of RAMS Analyses to Increase the Cost Efficiency of Risk Management Process