Guia docenteCurso
Facultad de Informática
  Inicio | galego | castellano | english | A A |  
Grao en Enxeñaría Informática
 Asignaturas
  Validación y Verificación del Software
Abrir nova vista Vista para imprimir Exportar a pdf
Datos Identificativos 2019/20
Asignatura (*) Validación y Verificación del Software Código 614G01053
Titulación
Grao en Enxeñaría Informática
Descriptores Ciclo Periodo Curso Tipo Créditos
Grado 1º cuatrimestre
Cuarto Optativa 6
Idioma
Castellano
Modalidad docente Presencial
Prerrequisitos
Departamento Ciencias da Computación e Tecnoloxías da Información
Computación
Coordinador/a
Castro Souto, Laura Milagros
Correo electrónico
laura.milagros.castro.souto@udc.es
Profesorado
Cabalar Fernandez, Jose Pedro
Castro Souto, Laura Milagros
Perez Vega, Gilberto
Correo electrónico
pedro.cabalar@udc.es
laura.milagros.castro.souto@udc.es
gilberto.pvega@udc.es
Web http://moodle.udc.es
Descripción general Esta asignatura busca dominar las alternativas actuales de la ingeniería de software para la validación y verificación del software, mediante: - el conocimiento de técnicas y herramientas de validación de software funcionales y no funcionales a todos los niveles (unidad, integración, sistema); - el conocimiento de técnicas y herramientas de razonamiento automático; y - el conocimiento de técnicas y herramientas de verificación formal.
(*) La Guía Docente es el documento donde se visualiza la propuesta académica de la UDC. Este documento es público y no se puede modificar, salvo cosas excepcionales bajo la revisión del órgano competente de acuerdo a la normativa vigente que establece el proceso de elaboración de guías
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes