Sciweavers

FM
1994
Springer

Seven More Myths of Formal Methods

14 years 3 months ago
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 31] examined a number of `myths' concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples.
Jonathan P. Bowen, Michael G. Hinchey
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where FM
Authors Jonathan P. Bowen, Michael G. Hinchey
Comments (0)