Máster Universitario en Software y Sistemas

Grupo de Lectura sobre el Análisis Básico de las Propiedades Globales No Funcionales

Profesor (Coordinador):
Manuel Carro
mcarro@fi.upm.es
Profesor:
Pedro López
pedro.lopez@imdea.org

Semestre

Primer semestre

Créditos

4 ECTS

Resumen

El curso se centrará en la lectura y presentación de unos trabajos de investigación en el área del análisis, optimización, implementación y verificación de programas. Los alumnos deben leer una selección de trabajos de investigación contemporáneos y trabajos anteriores que representan resultados importantes para posteriormente realizar presentaciones sobre el contenido de estos trabajos. El contenido de estos trabajos se relacionará principalmente con el análisis y la verificación de las propiedades funcionales, así como el uso de los recursos (p. ej., energía, tiempo de ejecución, memoria, pila, recursos definidos por el usuario, etc.), la ausencia de fallos, el determinismo o la cardinalidad. Se prestará asimismo atención especial a los marcos generales de análisis y verificación y sus posibles instancias. Sin embargo, los contenidos pueden variar a juicio del instructor y según los temas que son de interés a la comunidad de investigación más amplia.

Los alumnos que cursan esta asignatura:

Objetivos

Programa

  1. Selección de temas y artículos según los objetivos de los alumnos

Web de la Asignatura

http://www.software.imdea.org/graduateschool

Prerrequisitos

Método de Evaluación

Idioma en que se imparte

Inglés

Competencias Específicas

Más información:

Esta tabla muestra el código, la descripción y el nivel de cada una de las competencias específicas de la asignatura

Código Competencia Nivel
CEM1 Identificar, a partir del estado de la cuestión, la presencia de problemas de investigación relacionados con la concepción, la construcción, el uso y la evaluación de sistemas sociotécnicos complejos que hagan un uso intensivo de software. S
CEM5 Aportar soluciones a aquellos problemas abiertos relacionados con el ámbito de aplicación y los métodos, técnicas y herramientas de Verificación y Validación de Software A

Resultados de Aprendizaje

Más información:

Esta tabla muestra cada el código, la descripción, las competencias asociadas y el nivel de adquisición de cada uno de los resultados de aprendizaje de la asignatura

Código Resultado de Aprendizaje Competencias asociadas Nivel de Adquisición
RA-AV-10 Familiarizarse con el análisis del consumo de recursos y con sus diversas aplicaciones. CEM5 A
RA-AV-11 Ser capaz de proporcionar especificaciones formales sobre los resultados esperados y el consumo de recursos de los programas. CEM1 A

Guía de Aprendizaje

Guía de aprendizaje de la asignatura: Grupo de Lectura sobre el Análisis Básico de las Propiedades Globales No Funcionales