期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2013
卷号：49
期号：1
出版社：Journal of Theoretical and Applied
摘要：Software design metrics, since their apparition, suffer from a lack of formalism in their definition opening room to ambiguities and thus to misleading results. Although, several studies attempted to bring rigor to most well-known suite of metrics, the degree of formalism used to define them, constitutes a significant obstacle towards the built of solid tools support, considered as the key point to an easy integration of measurement in the industry. This paper is a logical continuation of a previous published work where a Z-based formalization of the CK metrics is presented, offering an innovative and easy to follow methodology which successfully manages to provide a solid definition of metrics that deals with complexity, coupling and cohesion. While this work brings formalism at the classifier level, we proceed, in the present, to propose formalism for an overall quality measurement of the object-oriented systems, introducing the invisibility concept formalization and extending the quality indicator properties to encapsulation and polymorphism.
关键词：Formal Methods; Z Language; UML Metamodel; MOOD Metrics
