Prevenção de Violações de Atomicidade usando Contractos