Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defencse are familiar to the public.
Applying Formal Methods and Object-Oriented Analysis to Existing Flight Software
1993-12-01
Sonstige
Keine Angabe
Englisch
digital , autopilot , malfunctions , communicatons , (DAP) , software
The Feasibility of Applying Object-Oriented Technologies to Operational Flight Software
British Library Conference Proceedings | 2000
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment
British Library Conference Proceedings | 1996
|