|
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 | - |
|
