Abstract
This paper presents a framework for the validation of axiomatic structure metrics. In a case study, the comprehensibility of type expressions in the functional programming language Miranda has been investigated. A structure metric for the comprehensibility of type
expressions has been developed together with internal and external axioms. This structure metric has been validated experimentally. The calibrated metric function results in a good prediction of the comprehensibility.
Original language | Undefined |
---|---|
Pages (from-to) | - |
Number of pages | 15 |
Journal | Memoranda informatica |
Volume | 92 |
Issue number | 58 |
Publication status | Published - Aug 1992 |
Keywords
- IR-64348
- EWI-11070
- SE-SMM: Software Measurement and Metrics
- METIS-121626