Practitioners' views on the use of formal methods: an industrial survey by structured interview
Snook, Colin and Harrison, Rachel, Snook, Colin and Harrison, Rachel (eds.) (2001) Practitioners' views on the use of formal methods: an industrial survey by structured interview. Information and Software Technology, 43, (4), 275-283.
Download
Full text not available from this repository.
Description/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.
| Item Type: | Article |
|---|---|
| Additional Information: | Event Dates: 17/04/00 - 19/04/00 |
| ISSNs: | 0950-5849 |
| Keywords: | formal methods, empirical assessment, survey |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 257703 |
| Date Deposited: | 18 Jun 2003 |
| Last Modified: | 15 Aug 2012 03:07 |
| Contributors: | Snook, Colin (Author) Harrison, Rachel (Author) Snook, Colin (Editor) Harrison, Rachel (Editor) |
| Date: | March 2001 |
| Additional Information: | Event Dates: 17/04/00 - 19/04/00 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| ISI Citation Count: | 8 |
| URI: | http://eprints.soton.ac.uk/id/eprint/257703 |
Actions (login required)
 |
View Item |
