Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article

Specifying Class Hierarchies and Moose Metrics in Z

Authors:
Younès El Amrani

Keywords: Keywords-Metric; Design; Quality; Measure; MOOSE; LCOM; Z; Formal Specification.

Abstract:
Metrics put into numbers the quality of software’s design and contribute to reinforce an organization’s software development competitive advantage. Ultimately, an organization would gain impressive benefits in terms of quality, costs, cycle time and productivity in using metrics to quantify software artifacts. Metrics should be formally defined to ensure every stakeholder understands what is measurable in design, and what is actually measured. The formal specification should be easily formulated. A short and concise formal model is introduced in this article and is used to specify the MOOSE metrics suite. The formal specification proposed provides, for the first time, an unambiguous specification of the LCOM metric.

Pages: 401 to 406

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012