Slice-Based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal ZThis paper demonstrates that existing slice-based measures can reasonably be mapped to the field of state-based specification languages. By making use of Z specifications this contribution renews the idea of slice-profiles and derives coupling and cohesion measures for them. The measures are then assessed by taking a critical look at their sensitiveness in respect to modifications on the specification source. The presented study shows that slice-based coupling and cohesion measures have the potential to be used as quality indicators for specifications as they reflect the changes in the structure of a specification as accustomed from their program-related pendants.
Document ID
20100018545
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Bollin, Andreas (Klagenfurt Univ. Austria)
Date Acquired
August 24, 2013
Publication Date
April 1, 2010
Publication Information
Publication: Proceedings of the Second NASA Formal Methods Symposium