Statistics for A framework for the analysis and evaluation of software development methodologies based on formal, intrinsic and pragmatic criteria