Common ADA Missile Packages (CAMP)
The Data Oriented Requirements Implementation Scheme
Formal Specification of Satellite Telemetry: A Practical Experience
Software Design Considerations for an Airborne Command and Control Workstation
Aerospace Software Engineering Works
A Practical Experience of ADA for Developing Embedded Software
Coprocessor Support for Real-Time ADA
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Guidance Software Development Workshop
Code Generation for Fast DSP-Based Real-Time Control
Network Programming: A Design Method and Programming Strategy for Large Software Systems
A Methodology for Software Specification and Development based on Simulation
Tool Supported Software Development - Experiences from the EFA Project
A Survey of Available Tools and Methods for Software Requirements Capture and Design
Development and Verification of Software for Flight Safety Critical Systems