Axiomatic approach to Software Metrication through Program Decomposition

Open Access
Publisher Website
Google Scholar
Abstract
Software metrication is a major problem in the engineering of software and software-related systems. To give coherence to attempts at metrication and to allow convincing statistical validation of these attempts it is proposed to axiomatise assumptions made about software parameters and ‘complexity’. The axioms are intrinsically related to the ‘decomposition hierarchy’ of programs, and this important notion is formalised in this paper for arbitrary programs.

This publication has 0 references indexed in Scilit: