[ES] El diseño por contrato es una metodología de programación que requiere que el programador proporcione, en tiempo de diseño, contratos (o anotaciones) que definen el comportamiento del código. Los contratos tienen ...