A Formal Software Development Approach Based on COOZ and Refinement Calculus