Guía DocenteCurso Facultade de Informática |
Enxeñerio Técnico en Informática de Sistemas |
Asignaturas |
Tecnoloxía da Programación |
Contidos |
Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Tecnoloxía da Programación | Código | 614311202 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Segundo | Troncal | 6 | ||||||||||
|
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 | - |
|