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
Study programme competencies Learning aims Contents Planning Methodologies Personalized attention Assessment Sources of information Recommendations
(*)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.