Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Military and Civil Software Standards and Guidelines for Guidance and Control
The Data Oriented Requirements Implementation Scheme
Tool Supported Software Development - Experiences from the EFA Project
A Survey of Available Tools and Methods for Software Requirements Capture and Design
Requirements and Traceability Management
A Practical Experience of ADA for Developing Embedded Software
Development and Verification of Software for Flight Safety Critical Systems
Formal Specification of Satellite Telemetry: A Practical Experience
Code Generation for Fast DSP-Based Real-Time Control
Network Programming: A Design Method and Programming Strategy for Large Software Systems
Software Design Considerations for an Airborne Command and Control Workstation