Practitioners' views on the use of formal methods: an industrial survey by structured interview
Practitioners' views on the use of formal methods: an industrial survey by structured interview
The recognised deficiency in the level of empirical investigation of software engineering methods is particularly acute in the area of formal methods, where reports about their usefulness vary widely. We interviewed several formal methods users about the use of formal methods and their impact on various aspects of software engineering including the effects on the company, its products and its development processes as well as pragmatic issues such as scalability, understandability and tool support. The interviews are a first stage of empirical assessment. Future work will investigate some of the issues raised using formal experimentation and case studies.
formal methods, empirical assessment, survey
275-283
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Harrison, Rachel
a2bce6a7-852b-48e7-a816-d1e50cd97c56
March 2001
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Harrison, Rachel
a2bce6a7-852b-48e7-a816-d1e50cd97c56
Snook, Colin and Harrison, Rachel
(2001)
Practitioners' views on the use of formal methods: an industrial survey by structured interview.
Information and Software Technology, 43 (4), .
Abstract
The recognised deficiency in the level of empirical investigation of software engineering methods is particularly acute in the area of formal methods, where reports about their usefulness vary widely. We interviewed several formal methods users about the use of formal methods and their impact on various aspects of software engineering including the effects on the company, its products and its development processes as well as pragmatic issues such as scalability, understandability and tool support. The interviews are a first stage of empirical assessment. Future work will investigate some of the issues raised using formal experimentation and case studies.
More information
Published date: March 2001
Additional Information:
Event Dates: 17/04/00 - 19/04/00
Venue - Dates:
Empirical Assessment in Software Engineering, Keele University, 2000-04-17 - 2000-04-19
Keywords:
formal methods, empirical assessment, survey
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 257703
URI: http://eprints.soton.ac.uk/id/eprint/257703
PURE UUID: dfdd1a57-0828-44e1-ad96-83b789894a21
Catalogue record
Date deposited: 18 Jun 2003
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Colin Snook
Author:
Rachel Harrison
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics