Objetivos

Proporcionar un recurso para la construcción de software seguro y confiable. Examinar las bases teóricas de la programación por contratos, los beneficios y sus implicancias en contextos de programación orientada a objetos. Aprender y experimentar con un lenguaje que brinde soporte adecuado. Analizar las incidencias en conceptos importantes de lenguajes. Estudiar propuestas para la fase de análisis y diseño. Conocer el estado del arte sobre el tema y discutir perspectivas.