Software measurement and formal methods: A case study centered on TRIO+ specifications

Lionel C. Briand, Sandro Morasca

Research output: Contribution to conferencePaperpeer-review

Abstract

This paper presents a case study where product measures are defined for a formal specification language (TRIO+) and are validated as quality indicators. To this end, defect and effort data were collected during the development of a monitoring/control system for a power plant. We show that some of the underlying hypotheses of these measures are supported by empirical results and that several measures are significant early indicators of specification change and effort. From a more general perspective, this study exemplifies one important advantage of formal specifications: they are measurable and can thus be better controlled, assessed, and managed than informal ones.

Original languageEnglish
Pages315-325
Number of pages11
Publication statusPublished - 1997
Externally publishedYes
EventProceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM - Hiroshima, Jpn
Duration: 12 Nov 199714 Nov 1997

Conference

ConferenceProceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM
CityHiroshima, Jpn
Period12/11/9714/11/97

Fingerprint

Dive into the research topics of 'Software measurement and formal methods: A case study centered on TRIO+ specifications'. Together they form a unique fingerprint.

Cite this