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
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'
A Scheduling Algorithm for the OBDH Bus - Theory into Practice
AXS: An ADA Coprocessor-Based Real-Time Kernel
How to Reduce the Cost of Onboard Software
Application of the Asynchronous Operating System ASTRES-1750 in Space Projects
An Efficient Approach to Software Validation
Software Architectures for Deeply Embedded Systems: The OMI Approach
Development of Flight Software for Minisat-01 Attitude Determination and Control Subsystem
An Alternative Lifecycle Based on Problem-Oriented Strategies
Verification of the Behaviour of Reactive Software with CFFD-Semantics and ARA Tools