Vista para imprimir Exportar a pdf
Datos Identificativos 2024/25
Asignatura (*) Validación y Verificación del Software Código 614G01053
Titulación
Grao en Enxeñaría Informática
Descriptores Ciclo Período Curso Tipo Créditos
Grao 1º cuadrimestre
Cuarto Optativa 6
Idioma
Castelán
Galego
Modalidade docente Presencial
Prerrequisitos
Departamento Ciencias da Computación e Tecnoloxías da Información
Computación
Coordinación
Castro Souto, Laura Milagros
Correo electrónico
laura.milagros.castro.souto@udc.es
Profesorado
Cabalar Fernandez, Jose Pedro
Castro Souto, Laura Milagros
Paris Fernandez, Javier
Perez Vega, Gilberto
Correo electrónico
pedro.cabalar@udc.es
laura.milagros.castro.souto@udc.es
javier.paris@udc.es
gilberto.pvega@udc.es
Web http://campusvirtual.udc.es
Descrición xeral Esta materia busca dominar as alternativas actuais da enxeñaría de software para a validación e verificación do software, mediante o: - coñecemento de técnicas e ferramentas de validación de software funcionais e non funcionais a todos os niveles (unidade, integración, sistema); - coñecemento de técnicas e ferramentas de razonamiento automático; e - coñecemento de técnicas e ferramentas de verificación formal.
(*)A Guía docente é o documento onde se visualiza a proposta académica da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías