Title :
Some metrics from a formal development
Author :
Hall, Anthony ; Pfleeger, Shari Lawrence
Author_Institution :
Praxis Syst. plc, Bath, UK
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;
Conference_Titel :
Practical Application of Formal Methods, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19950709
