Formal Specification of Software Design Metrics
Meryem Lamrani, Mohammed V Agdal, Younes Amrani, Aziz Ettouhami · International Conference on Software Engineering Advances · 2011
Given the significant interest in applying formal methods to object oriented paradigms, this paper presents a formal approach to define software design quality metrics upon a formal specification of the UML metamodel using the Z language. This multi-level formalization benefits greatly to design metrics as it allows a non ambiguous interpretation and a more rigorous definition, which, in turn, can assist the implementation of tools to measure the software design quality for industrial application. Our achievement gives precise meaning to software design metrics definitions in order to facilitate verification and validation. We, especially, applied our approach to one of the most well known set of metrics: the CK metrics. Keywords-formalization; UML metamodel; Z; CK metrics;