Datos Identificativos | 2014/15 | |||||
Asignatura (*) | Tecnoloxía da Programación | Código | 614211203 | |||
Titulación |
|
|||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |
1º e 2º Ciclo | 2º cuadrimestre |
Segundo | Troncal | 6 | ||
Idioma | ||||||
Prerrequisitos | ||||||
Departamento | Computación |
|||||
Coordinación | Correo electrónico | |||||
Profesorado | |
Correo electrónico | ||||
Web | http://www.dc.fi.udc.es/ai/tp/ | |||||
Descrición xeral | A disciplina céntrase no descriptor "verificación formal de programas", isto é, comprobar que un programa satisfai unhas determinadas especificacións (en forma de fórmulas lóxicas) e esté libre de erros, usando a tal fin a proba de teoremas dun xeito similar a como se proba unha propiedade matemática. A asignatura contempla tamén a derivación de programas a partir da súa especificación formal: noutras verbas, as fórmulas convírtense na guía para obter o programa final que as satisfai. |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*)A Guía docente é o documento onde se visualiza a proposta académica da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías |