Formalising the software evaluation process | IEEE Conference Publication | IEEE Xplore