Datos Identificativos | 2015/16 | ||||||||||
Asignatura (*) | Validación e Verificación do Software | Código | 614G01225 | ||||||||
Titulación | |||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | ||||||
Grao | 2º cuadrimestre |
Curso de Adaptación Enxeñeiros Téc. en Informática | Obrigatoria | 6 | |||||||
Idioma |
|
||||||||||
Modalidade docente | Presencial | ||||||||||
Prerrequisitos | |||||||||||
Departamento | Computación |
||||||||||
Coordinación |
|
Correo electrónico |
|
||||||||
Profesorado |
|
Correo electrónico |
|
||||||||
Web | http://moodle.udc.es | ||||||||||
Descrición xeral |
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. |
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*)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 |