Datos Identificativos | 2019/20 | |||||||||||||
Asignatura | Validación y Verificación del Software | Código | 614G01053 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Grao | 1º cuadrimestre |
Cuarto | Optativa | 6 | ||||||||||
|
Bibliografía básica |
Mordechai Ben-Ari (2012). Mathematical Logic for Computer Science. Springer Ron Patton (2001). Software testing. Sams Peter Farrell-Vinay (2008). Manage software testing. Auerbach Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley Hébert, Fred (2019). Property-based testing with PropEr, Erlang, and Elixir : find bugs before your users do. The Pragmatic Bookshelf Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley Mordechai Ben-Ari (2001). Mathematical Logic for Computer Science. Springer Zohar Manna and Amir Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer Zohar Manna and Amir Pnueli (1995). The Temporal Logic of Reactive and Concurrent Systems. Safety. Springer |
|
|
Bibliografía complementaria | |
|