Motion analysis: framework, trends, application to image sequence coding
Software Design Considerations for an Airborne Command and Control Workstation
The Data Oriented Requirements Implementation Scheme
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
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
A Practical Experience of ADA for Developing Embedded Software