DocumentCode
2676026
Title
Some metrics from a formal development
Author
Hall, Anthony ; Pfleeger, Shari Lawrence
Author_Institution
Praxis Syst. plc, Bath, UK
fYear
1995
fDate
34838
Firstpage
42522
Lastpage
42525
Abstract
A frequent complaint about the use of formal methods is that projects using them do not capture quantitative data that can help to evaluate the impact of the methods. We describe the measures used to analyze the quality of a formal development. The project we describe is a large industrial development undertaken by Praxis between 1989 and 1992. It was to develop CDIS, a system for display and manipulation of information used by air traffic controllers in the new terminal control room at the London Area and Terminal Control Centre
Keywords
air traffic control; local area networks; software metrics; software quality; systems analysis; CDIS; London Area and Terminal Control Centre; air traffic controllers; formal development; formal methods; information display; information manipulation; large industrial development; projects; quality analysis; quantitative data; terminal control room;
fLanguage
English
Publisher
iet
Conference_Titel
Practical Application of Formal Methods, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950709
Filename
477888
Link To Document