Formalización en UML - Ingrid Muñoz

Contenido ,[object Object],[object Object],[object Object],[object Object],[object Object]

Objetivos ,[object Object],[object Object],[object Object]

Introducción(1) ,[object Object],[object Object]

Introducción(2) ,[object Object],[object Object],[object Object],[object Object],Situación: Pablo vive en Cali. Su hermano Antonio vive en Popayán. Su madre vive en Bogotá y ambos quieren ir a visitarla. Hablan por teléfono.

[object Object],[object Object]

Objetivo cumplido ,[object Object]

UML ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

UML ,[object Object],[object Object],[object Object]

UML ,[object Object],[object Object]

Formalización UML ,[object Object],[object Object]

Métodos Formales ,[object Object]

Métodos Formales ,[object Object],[object Object],[object Object]

Métodos Formales ,[object Object],[object Object],[object Object],[object Object],[object Object]

Métodos Formales - Ventajas ,[object Object],[object Object]

Métodos Formales – Ventajas ,[object Object],[object Object]

Estrategias de Formalización ,[object Object],[object Object],[object Object],[object Object]

Estrategias de Formalización ,[object Object],[object Object]

Diez mandamientos de los métodos formales ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Objetivo finalizado ,[object Object]

Anthony Hall [HAL90] afirmaba: ,[object Object]

Métodos Formales a fondo ,[object Object],[object Object],[object Object],[object Object]

Métodos formales a fondo ,[object Object]

Matemáticas para el desarrollo de software ,[object Object],[object Object],[object Object],[object Object],[object Object]

Métodos formales y sus lenguajes de especificación ,[object Object],[object Object],[object Object],[object Object]

Lenguajes formales de especificación ,[object Object],[object Object],[object Object],[object Object]

MFOO de lógica de primer orden ,[object Object],[object Object]

MFOO basados en algoritmos matemáticos ,[object Object],[object Object],[object Object]

MFOO basados en algoritmos matemáticos ,[object Object],[object Object],[object Object],[object Object],[object Object]

MFOOs basados en Redes de Petri ,[object Object],[object Object]

MFOOs basados en Lógica Temporal. ,[object Object],[object Object],[object Object],[object Object]

Formalización en UML - Ingrid Muñoz

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Similar a Formalización en UML - Ingrid Muñoz

Similar a Formalización en UML - Ingrid Muñoz (20)

Más de 2008PA2Info3

Más de 2008PA2Info3 (20)

Formalización en UML - Ingrid Muñoz