El documento describe el diseño por contrato, un paradigma de programación orientada a objetos donde las relaciones entre clases se definen mediante contratos formales. Estos contratos especifican las pre y post-condiciones de los métodos a través de aserciones. Las pre-condiciones definen las condiciones que deben cumplirse para llamar al método, mientras que las post-condiciones establecen las garantías del método una vez ejecutado. El diseño por contrato permite construir programas correctos al asegurar que cada método cumple su espec

1. Diseño por Contrato Tecnología de Objetos Raúl Herrera A.

6. Ejemplo: TAD PILA (De la pre-condición) Procesamiento más simple, ya que supone que la pila no está llena. (Satisfacer post-condición) Actualiza la representación de la pila, de modo que tenga a x en la cima ( item devolverá x ), count se incrementa en 1, la pila queda no vacía. Proveedor (De la post-condición) Obtiene una pila actualizada: no está vacía, tiene a x en la cima (si se aplica item se obtiene x ) y count se ha incrementado en 1. (Satisfacer pre-condición) Sólo puede llamar a put(x) en una pila que no esté llena. Cliente BENEFICIOS OBLIGACIONES put