Metodos formales

¿Qué es un método formal?
Es cualquier técnica que trata la construcción y el análisis de modelos matemáticos que contribuyen a la automatización de desarrollo de sistema de información.

Ventajas de los métodos formales:
1.Se comprende mejor el sistema.
2.La comunicación con el cliente mejora.
3.El sistema se describe más precisamente.
4.El sistema asegura matemáticamente que es correcto según las especificaciones.
5.Mayor calidad del software respecto al cumplimiento de especificaciones.
6.Mayor productividad.

Clasificación:
1.Especificaciones basadas en lógicas de primer orden y teoría de conjunto.
2.Especificaciones algebraicas.

Especificaciones de comportamientos:

1.Métodos basados en algebra de proceso.
2.Métodos basados en redes petri.
3.Métodos en lógica temporal.

Métodos de verificación:

1.Aserciones entrada y salida.
2.Precondición más débil.
3.Inducción estructural.

10 mandamientos de los métodos:

1.Seleccionaras la notación adecuada.
2.Formalizaras, pero no de mas.
3.Estimaras los costos.
4.Poseerás un experto en métodos formales a tu disposición.
5.No abandoras tus métodos formales de desarrollo.
6.Documentaras suficientemente.
7.No comprometerás los estándares de calidad.
8.No serás dogmatico.
9.Comprobaras, comprobaras y volverás a comprobar.
10.Reutilizaras cuanto puedas.


Los 7 mitos sobre los métodos formales:

1.Garantizar que el software este perfecto.
2.Se centran en demostrar corrección.
3.Son útiles solo para sistemas críticos.
4.Requieren matemáticos entrenados.
5.Aumentan el costo de desarrollo.
6.Son incomprensibles para los usuarios.
7.No se usan en grandes proyectos reales.