DocumentCode
278504
Title
Managing the introduction of formal methods
Author
Bear, Stephen
Author_Institution
Hewlett Packard Labs., Bristol, UK
fYear
1991
fDate
33409
Firstpage
42401
Lastpage
42403
Abstract
Examines the role of management in the introduction of formal or rigorous methods for software development. The author discusses three questions which managers must address: is a rigorous development method appropriate for the systems being developed by the organisation, what parts of the development process should be treated rigorously and how should rigorous methods be introduced
Keywords
software engineering; formal software methods; software development;
fLanguage
English
Publisher
iet
Conference_Titel
Managing Critical Software Projects, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
181827
Link To Document