7 MORE MYTHS OF FORMAL METHODS

Authors
BOWEN JP HINCHEY MG
Citation
Jp. Bowen et Mg. Hinchey, 7 MORE MYTHS OF FORMAL METHODS, IEEE software, 12(4), 1995, pp. 34-41
Citations number
11
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
IEEE software → ACNP
ISSN journal
07407459
Volume
12
Issue
4
Year of publication
1995
Pages
34 - 41
Database
ISI
SICI code
0740-7459(1995)12:4<34:7MMOFM>2.0.ZU;2-2
Abstract
New myths about formal methods are gaining tacit acceptance both outsi de and inside the system-development community. The authors address an d dispel these myths based on their observations of industrial project s.