Teaching GuideTerm
Faculty of Computer Science
  Home | galego | castellano | english | A A |  
Grao en Enxeñaría Informática
 Subjects
  Software Verification and Validation
Abrir nova vista Vista para imprimir Exportar a pdf
Identifying Data 2020/21
Subject (*) Software Verification and Validation Code 614G01053
Study programme
Grao en Enxeñaría Informática
Descriptors Cycle Period Year Type Credits
Graduate 1st four-month period
Fourth Optional 6
Language
Spanish
Teaching method Hybrid
Prerequisites
Department Ciencias da Computación e Tecnoloxías da Información
Computación
Coordinador
Castro Souto, Laura Milagros
E-mail
laura.milagros.castro.souto@udc.es
Lecturers
Cabalar Fernandez, Jose Pedro
Castro Souto, Laura Milagros
Perez Vega, Gilberto
E-mail
pedro.cabalar@udc.es
laura.milagros.castro.souto@udc.es
gilberto.pvega@udc.es
Web http://moodle.udc.es
General description This subject is intended to master the current solutions in Software Engineering for the validation and verification of software. This includes: - knowledge of functional and non-functional techniques and tools for software validation at all levels (unit, integration, system); - knowledge of techniques and tools for automatic reasoning; and - knowledge of techniques and tools for formal verification.
Contingency plan 1. Modifications to the contents: none 2. Methodologies: unchanged 3. Mechanisms for personalized attention to students: unchanged 4. Modifications in the evaluation: none 5. Modifications to the bibliography or webgraphy: none
(*)The teaching guide is the document in which the URV publishes the information about all its courses. It is a public document and cannot be modified. Only in exceptional cases can it be revised by the competent agent or duly revised so that it is in line with current legislation.
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes