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
Trabajos relacionados
Ver mas trabajos de Programacion |
|
Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo en formato DOC desde el menú superior.