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