Software specifications for uncertainty calculation and associated statistical