Abstract
A framework for the validation of axiomatic structure metrics is presented. 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 |
---|---|
Title of host publication | First International Software Metrics Symposium |
Place of Publication | Washington, USA |
Publisher | IEEE |
Pages | 92-99 |
Number of pages | 8 |
ISBN (Print) | 0818637404 |
DOIs | |
Publication status | Published - May 1993 |
Event | 1st International Software Metrics Symposium 1993 - Baltimore, United States Duration: 21 May 1993 → 22 May 1993 Conference number: 1 |
Publication series
Name | |
---|---|
Publisher | IEEE |
Conference
Conference | 1st International Software Metrics Symposium 1993 |
---|---|
Country/Territory | United States |
City | Baltimore |
Period | 21/05/93 → 22/05/93 |
Keywords
- IR-19351
- METIS-119874
- SE-SMM: Software Measurement and Metrics
- EWI-10096