Temas |
Subtemas |
Bloque Temático I. Introdución |
-------------------------------------------------------------------------------------- |
1. Cálculo proposicional
|
1.1. Evaluación de proposicións
1.2. Proposicións como conxuntos de estados
1.3. Leis de equivalencia
|
2. Predicados |
2.1. Extensión do rango de estado
2.2. Cuantificadores
2.3. Identificadores libres e ligados
2.4. Substitución textual
|
3. Arrays, notacion e simplificación de expresións |
3.1. Arrays dunha dimensión
3.2. Simplificación de expresións
3.3. Arrays multidimensionales |
Bloque Temático II. Cálculo de predicados |
-------------------------------------------------------------------------- |
4. Uso de aserciones na documentación de programas |
4.1. Especificación de programas
4.2. Representación de valores iniciais e finais de variables
4.3. Esquemas de proba
|
5. O transformador de predicados wp |
5.1. Definición do transformador de predicados
5.2. Propiedades do wp
5.3. Estratexia de demostración de corrección |
6. A linguaxe GCL: Guarded Command Language |
6.1. Os comandos skip, abort e composición
6.2. O comando asignación
6.3. A estrutura alternativa
6.4. A estrutura iterativa
6.5. Funcións e procedementos |
Bloque Temático III. Verificación e desenvolvemento de programas |
------------------------------------------------------------------------- |
7. Desenvolvemento de programas con estruturas alternativas |
7.1 Principios básicos
7.2. Exemplos |
8. Desenvolvemento de programas con estruturas repetitivas |
8.1. Desenvolvendo primeiro o gardián
8.2. Progresando cara á finalización |
9. Desenvolvemento de invariantes |
9.1. A teoría do globo
9.2. Borrado dunha conxunción
9.3. Substitución dunha constante por unha variable
9.4. Agrandar o rango dunha variable
9.5. Combinar precondición e postcondición |
10. Desenvolvemento de funcións cota |
10.1. Utilización da notación do problema e a súa solución
10.2. Utilización da orde lexicográfico |
Bloque Temático IV: Linguaxe Java e JML |
----------------------------------------------------------------------- |
11. Introdución á linguaxe Java |
- |
12. Introdución á linguaxe JML |
- |