On the Relation between Design Contracts and Errors: A Software Development Strategy