METODO FORMAL

IMPORTANCIA METODOS FORMALES

EN LA INGENIERIA DEL SOFTWARE

La importancia de los métodos formales yace en sistematizar e introducir rigor en

todas las fases de desarrollo del software, en especial en la Ingeniería de
Requisitos, con lo que sería posible evitar que se pasen por alto problemas
críticos. Además, proporcionan un método estándar de trabajo a lo largo del
proyecto, constituyen una base coherente entre las muchas actividades
relacionadas y, al contar con mecanismos de descripción precisos y no ambiguos,
proporcionan el conocimiento necesario para realizarlas con éxito
METODOS FORMALES
ESTUDIOS DE LOS METODOS FORMALES
ESTUDIO DE LOS METODOS FORMALES
 ESTUDIO DE LOS METODOS FORMALES
ESPECIFICACIONES BASADAS EN TEORIA DE
CONJUNTOS
 ESPECIFICACIONES ALGEBRAICAS:
TIPOS DE DATOS ABSTRACTOS Y SEMANTICA
 ESPECIFICACIONES ALGEBRAICAS:
TIPOS DE DATOS ABSTRACTOS Y SEMANTICA
VERIFICACION DE PROGRAMA MEDIANTE ASERCIONES:
LOGICA DE HOARE Y LOGICA DINAMICA
VERIFICACION DE PROGRAMA MEDIANTE ASERCIONES:
LOGICA DE HOARE
 LOGICA DINAMICA

La lógica dinámica es una extensión de la lógica modal originalmente diseñada para

razonar sobre programas de computadora y luego aplicada a comportamientos complejos
más generales que surgen en lingüística , filosofía , inteligencia artificial y otros campos.
La lógica modal se caracteriza por los operadores modales
La lógica dinámica permite acciones compuestas construidas a partir de acciones más
pequeñas. 
REGLAS DE LA LOGICA DE HOARE
APLICACIÓN DE LA LOGICA DE HOARE A LA PRUEBA DE
PROGRAMAS: PRECONDICIONES Y POSCONDICIONES
APLICACIÓN DE LA LOGICA DE HOARE A LA PRUEBA DE
PROGRAMAS: PRECONDICIONES Y POSCONDICIONES