Datos Identificativos | 2015/16 | ||||||||||
Asignatura (*) | Validación y Verificación del Software | Código | 614G01225 | ||||||||
Titulación |
|
||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | ||||||
Grado | 2º cuatrimestre |
Curso adap. Ing.. Téc. Informática | Obligatoria | 6 | |||||||
Idioma |
|
||||||||||
Modalidad docente | Presencial | ||||||||||
Prerrequisitos | |||||||||||
Departamento | Computación |
||||||||||
Coordinador/a |
|
Correo electrónico |
|
||||||||
Profesorado |
|
Correo electrónico |
|
||||||||
Web | http://moodle.udc.es | ||||||||||
Descripción general |
Esta asignatura 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. |
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*) 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 |