The Data Oriented Requirements Implementation Scheme
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
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
Military and Civil Software Standards and Guidelines for Guidance and Control
Development and Verification of Software for Flight Safety Critical Systems
A Practical Experience of ADA for Developing Embedded Software
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