1. El Lenguaje Z de especificació
especificación formal: conceptos bábásicos.
2. Ejemplo
3. Descripció
Descripción formal del lenguaje y sus aplicaciones:
1. Lógica proposicional
2. Lógica de predicados
3. Igualdad y Descripció
Descripción definida (Definite
(Definite Description)
Description)
4. Conjuntos
5. Definiciones
6. Relaciones
7. Funciones
8. Secuencias
9. Tipos Libres
10. Esquemas
11. Operadores de esquemas
12. Precondiciones
1. Conceptos básicos de Z
La notació
notación de Z se basa en teorí
teoría de conjuntos y ló
lógica de
predicados
Usa:
Concepto de Tipo (conjunto maximal)
maximal)
Lenguaje natural (comentarios, nombres variables, etc.)
Refinamiento sucesivo (transició
(transición entre etapas)
1
2. Ejemplo
Se describe un sistema de agenda para cumpleaños
2. Ejemplo
Operació
Operación de añ
añadir un cumpleañ
cumpleaños
Se puede deducir:
2
2. Ejemplo
Encontrar el cumpleañ
cumpleaños de una persona
2. Ejemplo
Refinar el ejemplo (añ
(añadir mensajes de éxito o error)
3
2. Ejemplo
Los esquemas anteriores son equivalentes a:
2. Ejemplo
Paso a implementació
implementación
4
3. Bibliografía