Software quality engineering (Computational Mechanics Publ., 1997)