|
| 
|
| Datos Identificativos |
2019/20 |
| Asignatura (*) |
Validación y Verificación del Software |
Código |
614G01225 |
| Titulación |
| Grao en Enxeñaría Informática |
|
| 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://guiadocente.udc.es/guia_docent/index.php?centre=614&ensenyament=614G01&assignatura=614G01053&any_academic=2017_18&am |
| 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 |
Asignaturas