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
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Failure Analysis Case Histories of Canadian Forces Aircraft Landing Gear Components
Military and Civil Software Standards and Guidelines for Guidance and Control
Requirements and Traceability Management
Simulation Numerique du Comportement Dynamique des Atterrisseurs
Calcul des Interactions entre Avion et Trains d'Atterrissage
A Practical Experience of ADA for Developing Embedded Software
Application of the Air Force Guide Specification 87221A to Ground Loads