Link 11 - Funktion, Technologie
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
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 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
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
SDE's for the year 2000 and Beyond: an EF Perspective
Embedded Expert System: From the Mock-Up to the Real World
Software Engineering Methods in the HERMES On-Board Software