También ideó el método de desarrollo del Diseño por Contrato.