Design, Implementation, And Analysis Of An Algebra-Based Treatment Of Measurement Uncertainty