Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A goal-driven definition process for product metrics based on properties
A goal-driven definition process for product metrics based on properties
Defining and Validating Measures for Object-Based High-Level Design
IEEE Transactions on Software Engineering
An Operational Process for Goal-Driven Definition of Measures
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.