Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
Practitioners' views on the use of formal methods: an industrial survey bystructured interview
Autore:
Snook, C; Harrison, R;
Indirizzi:
Univ Reading, Sch Comp Sci Cybernet & Elect Engn, Reading RG6 6AY, Berks, England Univ Reading Reading Berks England RG6 6AY eading RG6 6AY, Berks, England Univ Southampton, Dept Elect & Comp Sci, Southampton SO17 1BJ, Hants, England Univ Southampton Southampton Hants England SO17 1BJ 7 1BJ, Hants, England
Titolo Testata:
INFORMATION AND SOFTWARE TECHNOLOGY
fascicolo: 4, volume: 43, anno: 2001,
pagine: 275 - 283
SICI:
0950-5849(20010315)43:4<275:PVOTUO>2.0.ZU;2-P
Fonte:
ISI
Lingua:
ENG
Soggetto:
SOFTWARE;
Keywords:
formal methods; empirical assessment; survey; structured interview;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
12
Recensione:
Indirizzi per estratti:
Indirizzo: Harrison, R Univ Reading, Sch Comp Sci Cybernet & Elect Engn, POB 225, Reading RG6 6AY, Berks, England Univ Reading POB 225 Reading Berks England RG66AY ks, England
Citazione:
C. Snook e R. Harrison, "Practitioners' views on the use of formal methods: an industrial survey bystructured interview", INF SOFTW T, 43(4), 2001, pp. 275-283

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. (C) 2001 Elsevier Science B.V. All rights reserved.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 28/03/20 alle ore 13:44:11