Las ideas del Diseño por Contratos (Bertrand, 1992, 1997 y Mitchell, 2002 ), tienen sus raíces en los métodos formales para la construcción de software, pero mantienen una visión más pragmática. Requieren muy poco...
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...
Ingrese el e-mail y contraseña con el que está registrado en Monografias.com