Computación
La construcción de software confiable es uno
de los desafíos de la Ingeniería de
Software. En este trabajo se
presentan los conceptos principales del diseño
por contratos. Las técnicas
del diseño por contratos afectan todas las actividades del
desarrollo de
software: desde el análisis hasta la implementación:
corrección, reuso, depuración, testeo, documentación y administración. Si bien el lenguaje de
programación Eiffel es el lenguaje
comercial que actualmente tiene el soporte nativo para contratos,
sus ideas y conceptos pueden ser aplicados en diferentes
lenguajes (JAVA, C++, C#,
etc.)
El presente trabajo
se encuentra realizado en formato PDF (Acrobat Reader).
Para poder
visualizarlo seleccionar la opción "Bajar trabajo" desde
el menú superior.
Gerardo
Rossel