DocumentCode
799598
Title
Seven more myths of formal methods
Author
Bowen, Jonathan P. ; Hinchey, Michael G.
Author_Institution
Oxford Univ., UK
Volume
12
Issue
4
fYear
1995
fDate
7/1/1995 12:00:00 AM
Firstpage
34
Lastpage
41
Abstract
New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors address and dispel these myths based on their observations of industrial projects. The myths include: formal methods delay the development process; they lack tools; they replace traditional engineering design methods; they only apply to software; are unnecessary; not supported; and formal methods people always use formal methods
Keywords
software engineering; software tools; development process; engineering design methods; formal method myths; industrial projects; software tools; system development; Application software; Computer aided software engineering; Computer industry; Costs; Delay; History; Job shop scheduling; Process control; Processor scheduling; Tail;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.391826
Filename
391826
Link To Document