Identifying Data					2015/16
Subject (*)	Validación e Verificación do Software			Code	614G01225
Study programme	Grao en Enxeñaría Informática
Descriptors	Cycle	Period	Year	Type	Credits
	Graduate	2nd four-month period	Curso adap. Enx. Téc. Informática	Obligatoria	6
Language	Spanish
Teaching method	Face-to-face
Prerequisites
Department	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 inteded to master the current solutions in Software Engineering for software validation and verification. These include: - knowledge on functional and non-functional testing techniques and tools, applicable to different levels (unit, integration, system); - knowledge on techniques and tools for automatic reasoning; and - knowledge on techniques and tools for formal verification.
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.