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