GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

Identificadores libres y ligados.
o Sustitución textual.
o Notación para arrays.
2. Uso de aserciones para documentar programas.
o Especificación de programas.
o Representación de valores iniciales y finales de variables.
o Esquemas de prueba.
3. Semántica de programas.
o El transformador de predicados wp.
o Las órdenes skip, abort y composición.
o La orden asignación.
o La estructura alternativa.
o La estructura iterativa.
o Llamada a procedimientos.
4. Desarrollo de programas.
o La programación como una actividad orientada a objetivo.
o Desarrollo de bucles a partir de invariantes y funciones cota.
o Desarrollo de invariantes.
o Funciones cota.
o Uso de iteración en lugar de recursión.
83