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 language | English |
---|---|
Pages | 315-325 |
Number of pages | 11 |
Publication status | Published - 1997 |
Externally published | Yes |
Event | Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM - Hiroshima, Jpn Duration: 12 Nov 1997 → 14 Nov 1997 |
Conference
Conference | Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM |
---|---|
City | Hiroshima, Jpn |
Period | 12/11/97 → 14/11/97 |