Predictive Software Measures based on Z Specifications - A Case Study

Andreas Bollin
(University of Klagenfurt)
Abdollah Tabareh
(University of Gothenburg)

Estimating the effort and quality of a system is a critical step at the beginning of every software project. It is necessary to have reliable ways of calculating these measures, and, it is even better when the calculation can be done as early as possible in the development life-cycle.

Having this in mind, metrics for formal specifications are examined with a view to correlations to complexity and quality-based code measures. A case study, based on a Z specification and its implementation in ADA, analyzes the practicability of these metrics as predictors.

In César Andrés and Luis Llana: Proceedings 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, France, August 28, 2012, Electronic Proceedings in Theoretical Computer Science 86, pp. 33–40.
Published: 8th July 2012.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: