结构度量的验证:一个案例研究

IEEE METRICS Pub Date : 1992-08-01 DOI:10.1109/METRIC.1993.263797

K. V. D. Berg, P. V. D. Broek, G. M. V. Petersen

{"title":"结构度量的验证:一个案例研究","authors":"K. V. D. Berg, P. V. D. Broek, G. M. V. Petersen","doi":"10.1109/METRIC.1993.263797","DOIUrl":null,"url":null,"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. >","PeriodicalId":282231,"journal":{"name":"IEEE METRICS","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Validation of structure metrics: a case study\",\"authors\":\"K. V. D. Berg, P. V. D. Broek, G. M. V. Petersen\",\"doi\":\"10.1109/METRIC.1993.263797\",\"DOIUrl\":null,\"url\":null,\"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. >\",\"PeriodicalId\":282231,\"journal\":{\"name\":\"IEEE METRICS\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE METRICS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/METRIC.1993.263797\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE METRICS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/METRIC.1993.263797","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

给出了一个验证公理结构度量的框架。在一个案例研究中，研究了函数式编程语言Miranda中类型表达式的可理解性。类型表达式可理解性的结构度量与内部和外部公理一起被开发出来。该结构度量已经过实验验证。校正后的度量函数可以很好地预测可理解性。>

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Validation of structure metrics: a case study

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. >

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IEEE METRICS

自引率

0.00%

发文量