El Uso De Los M Todos Formales Tiene Marcadas Ventajas Que Proporcionan Razones Importantes Para Utilizarlos En El Desarrollo De Software

El uso de los métodos formales tiene marcadas ventajas que proporcionan razones importantes para utilizarlos en el desarrollo de software (HALL, Anthony, 1990), (SPIVEY, J. M., 1992), (BARDEN, Rosalind et al., 1994), (VIENNEAU, R., 1996). Algunas de ellas se enumeran a continuación: • Mejoran la productividad en las actividades de desarrollo. • Mejoran la calidad del software. • Permiten unamayor comprensión del sistema. • Mejoran la comunicación del equipo de desarrollo con el cliente, al contar con una especificación de requisitos sin ambigüedad. • Al introducir rigor en el modelado y análisis, se puede describir al sistema de una manera más precisa. • Es posible asegurar matemáticamente que el sistema es correcto de acuerdo a las especificaciones. • Permiten verificar y validar laimplementación. • Permiten la detección temprana de errores. • Los sistemas producidos son más fiables y seguros. • Evitan gastos y problemas habituales en los métodos no formales. • Reducen el riesgo. • Facilitan el cumplimiento de regulaciones y estándares relacionados con la seguridad. Por otra parte, el uso de métodos formales tiene ciertas limitantes o desventajas. Algunas de ellas han sidoidentificadas en (LAMSWEERDE, Axel Van, 2000), entre las que se mencionan: • Su uso adecuado implica una importante curva de aprendizaje. • Para que sea útil, un sistema desarrollado con métodos formales debe tener un dominio limitado de aplicación. • Las especificaciones formales son difíciles de desarrollar. Difícilmente una especificación formal es correcta la primera vez que se realiza, aunqueaun así, resulta útil. • En los desarrollos ordinarios, que son mucho más comunes que los proyectos críticos, el interés hacia la calidad, seguridad y fiabilidad es escaso por lo que no se aplica formalidad comúnmente en ellos. • No hay suficiente experiencia de aplicación de métodos formales en desarrollos ordinarios. 13 • Mucha de la experiencia en métodos formales ha surgido en la academia perono se aplica inmediatamente en la industria debido a la reconocida brecha de transferencia tecnológica entre ambos campos. • Las herramientas no son lo suficientemente populares, unificadas, maduras y amigables. • Las herramientas de los distintos métodos no son compatibles entre sí. • Los métodos formales tienen poca escalabilidad.

El uso de los métodos formales tiene marcadas ventajas queproporcionan razones importantes para utilizarlos en el desarrollo de software (HALL, Anthony, 1990), (SPIVEY, J. M., 1992), (BARDEN, Rosalind et al., 1994), (VIENNEAU, R., 1996). Algunas de ellas se enumeran a continuación: • Mejoran la productividad en las actividades de desarrollo. • Mejoran la calidad del software. • Permiten una mayor comprensión del sistema. • Mejoran la comunicación del equipo dedesarrollo con el cliente, al contar con una especificación de requisitos sin ambigüedad. • Al introducir rigor en el modelado y análisis, se puede describir al sistema de una manera más precisa. • Es posible asegurar matemáticamente que el sistema es correcto de acuerdo a las especificaciones. • Permiten verificar y validar la implementación. • Permiten la detección temprana de errores. • Lossistemas producidos son más fiables y seguros. • Evitan gastos y problemas habituales en los métodos no formales. • Reducen el riesgo. • Facilitan el cumplimiento de regulaciones y estándares relacionados con la seguridad. Por otra parte, el uso de métodos formales tiene ciertas limitantes o desventajas. Algunas de ellas han sido identificadas en (LAMSWEERDE, Axel Van, 2000), entre las que semencionan: • Su uso adecuado implica una importante curva de aprendizaje. • Para que sea útil, un sistema desarrollado con métodos formales debe tener un dominio limitado de aplicación. • Las especificaciones formales son difíciles de desarrollar. Difícilmente una especificación formal es correcta la primera vez que se realiza, aunque aun así, resulta útil. • En los desarrollos ordinarios, que son...