Title: Rational Foundation for Software Metrology