Reusing Specifications in OO Applications