A formal method for cost and accuracy trade-off analysis in software assessment measures | IEEE Conference Publication | IEEE Xplore