Home // ICSEA 2011, The Sixth International Conference on Software Engineering Advances // View article

Formal Specification of Software Design Metrics

Authors:
Meryem Lamrani
Younes El Amrani
Abdelaziz Ettouhami

Keywords: formalization; UML metamodel; Z; CK metrics;

Abstract:
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.

Pages: 348 to 355

Copyright: Copyright (c) IARIA, 2011

Publication date: October 23, 2011

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-165-6

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011