Validated Designs for Object-oriented Systems