Atendiendo al artículo 11 del Reglamento UCA/CG03/2024, de 22 de abril, por el que se modifica el Reglamento por el que se regula el Régimen de Evaluación de los Alumnos de la Universidad de Cádiz, sobre Medidas para la evaluación de estudiantes con necesidades específicas, se informa de lo siguiente:
El estudiantado con necesidades específicas en el ámbito académico, discapacidad, dependencia y otras necesidades de apoyo, en caso de requerir ajustes en la evaluación de las asignaturas en las que estuviese matriculado, deberá solicitarlo a la Unidad de Atención a la Diversidad, a través del siguiente CAU: https://cau-diversidad.uca.es/cau/servicio.do?id=DI008
Las solicitudes de adaptación deberán presentarse preferentemente antes del inicio del periodo lectivo del semestre correspondiente o, en su caso, durante las dos primeras semanas de clases de cada semestre. Las solicitudes fuera de ese plazo solo serán atendidas en el caso de necesidades sobrevenidas.
Podrán consultar toda la información sobre el procedimiento y documentación a presentar en el siguiente enlace: https://diversidad.uca.es/adaptaciones-academicas/
El profesor expondrá el enunciado del trabajo a realizar por los estudiantes. Los estudiantes elaborarán un informe sobre el trabajo realizado y se podrán realizar presentaciones.
El profesor expondrá el contenido del temario de teoría de la asignatura apoyándose en la utilización de presentaciones de los distintos temas que lo componen. Se fomentará la participación de los estudiantes proponiendo ejercicios relacionados con el temario a realizar individualmente o en grupos de tamaño reducido.
Actividades de Teoría y Seminarios.
Tanto en las clases de teoría como en los seminarios se propondrán actividades a realizar en las mismas, que deberán ser entregadas en dichas clases.
Unidad 4. Verificación formal de software4.1 Antecedentes históricos y estilos de verificación4.2 ACL24.3 Tipos de datos en ACL24.4 Listas generales en ACL24.5 Terminación, equivalencias, órdenes y relaciones de terminación4.6 Transformaciones y refinamientos que preservan la corrección4.7 Verificación formal de algoritmos de ordenación4.8 Paralelismo
Práctica 1: Pruebas unitarias
Práctica 2. Prueba de mutaciones
Práctica 3. Verificación formal
Seminario 1. Herramientas de análisis estático para C/C++ y Java
Seminario 2. Herramientas de análisis dinámico para C/C++ y Java
Seminario 3. Herramientas de herramientas de inspección de la accesibilidad de aplicaciones
