The University of Southampton
University of Southampton Institutional Repository

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
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
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), 275-283.

Record type: Article

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.

Text
article.pdf - Other
Download (165kB)

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-16 - 2000-04-18
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
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 18 Jun 2003
Last modified: 28 Apr 2022 01:49

Export record

Contributors

Author: Colin Snook ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×