Datos Identificativos | 2014/15 | |||||||||||||
Asignatura | Validación e Verificación do Software | Código | 614G01225 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Grao | 2º cuadrimestre |
Curso de Adaptación Enxeñeiros Téc. en Informática | Obrigatoria | 6 | ||||||||||
|
Bibliografía básica |
Peter Farrell-Vinay (2008). Manage software testing. Auerbach Mordechai Ben-Ari (2012). Mathematical Logic for Computer Science. Springer Mordechai Ben-Ari (2001). Mathematical Logic for Computer Science. Springer Ron Patton (2001). Software testing. Sams Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley Zohar Manna and Amir Pnueli (1995). The Temporal Logic of Reactive and Concurrent Systems. Safety. Springer Zohar Manna and Amir Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer |
|
|
Bibliografía complementaria | |
|