This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.
Why Engineers Should Consider Formal Methods
16th Digital Avionics Systems Conference ; 1997 ; Unknown
1997-01-01
Preprint
No indication
English
Why Engineers Should Consider Formal Methods
British Library Conference Proceedings | 1997
|Should We Consider Variable Rotor Speeds?
Online Contents | 2004
64-bit computing Should you consider hybrid 64-bit servers?
British Library Online Contents | 2004
Engineers consider wear in designing new casing strings for Tarim field
Tema Archive | 2006
|Apart from infrastructure, what else we should consider to get more effective results
British Library Conference Proceedings | 2001
|