Competencias do título |
Código
|
Competencias da titulación
|
A1 |
Adquirir coñecementos de Lóxicas Computacionais e as súas principais aplicacións a outras áreas específicas de investigación en Computación tales como Raonamento Automático, Representación do Coñemento, Razoamento Temporal e Espacial, Sistemas Multiaxente, Web semántica, Verificación Formal, etc. |
A3 |
Coñecemento dos principais aspectos de modelado formal e de avaliación do rendemento dos Sistemas Distribuídos e Concorrentes. |
A4 |
Posuír unha ampla comprensión dos sistemas de Xestión da Información, desde os aspectos máis técnicos como as Estruturas de Datos Compactas e os correspondentes algoritmos de uso, ata as máis avanzadas técnicas de Recuperación da Información, Extracción de Información e Procura de Respostas. |
B1 |
Ser capaz de formular xuízos a partir dunha información que, sendo incompleta ou limitada, inclúa reflexións sobre as responsabilidades sociais e éticas vinculadas á aplicación dos seus coñecementos e xuízos. |
B2 |
Destreza na adquisición do coñecemento, análise do estado da arte e bibliografía relevante nunha área de investigación. |
B3 |
Capacidade para identificar problemas e formular adecuadamente as hipóteses a contrastar seguindo unha metodoloxía científica. |
B4 |
Aplicación do método científico mediante análise empírico das hipóteses formuladas ou mediante demostración formal, no caso de propiedades matemáticas. Destreza no deseño de experimentos e a análise de resultados. |
B5 |
Aptitude para a correcta elaboración e redacción de publicacións científicas tales como artigos de revista ou informes técnicos. |
B6 |
Soltura e facilidade para a presentación oral, a transmisión de conceptos, problemas, solucións e resultados relevantes en investigación, tanto a público especializado como a non especializado. |
B7 |
Acostumarse ó uso do inglés como principal idioma de adquisición e transmisión de coñecemento científico e de investigación. |
B8 |
Coñecer resultados recentes en áreas de investigación punteiras e presentados de primeira man polos seus propios autores ou especialistas de recoñecido prestixio. |
C1 |
Expresarse correctamente, tanto de forma oral coma escrita, nas linguas oficiais da comunidade autónoma. |
C2 |
Dominar a expresión e a comprensión de forma oral e escrita dun idioma estranxeiro. |
C3 |
Utilizar as ferramentas básicas das tecnoloxías da información e as comunicacións (TIC) necesarias para o exercicio da súa profesión e para a aprendizaxe ao longo da súa vida. |
C4 |
Desenvolverse para o exercicio dunha cidadanía aberta, culta, crítica, comprometida, democrática e solidaria, capaz de analizar a realidade, diagnosticar problemas, formular e implantar solucións baseadas no coñecemento e orientadas ao ben común. |
C5 |
Entender a importancia da cultura emprendedora e coñecer os medios ao alcance das persoas emprendedoras. |
C6 |
Valorar criticamente o coñecemento, a tecnoloxía e a información dispoñible para resolver os problemas cos que deben enfrontarse. |
C7 |
Asumir como profesional e cidadán a importancia da aprendizaxe ao longo da vida. |
C8 |
Valorar a importancia que ten a investigación, a innovación e o desenvolvemento tecnolóxico no avance socioeconómico e cultural da sociedade. |
Resultados de aprendizaxe |
Competencias de materia (Resultados de aprendizaxe) |
Competencias da titulación |
|
AI1 AI3
|
BI5 BI8
|
CM1 CM5
|
|
|
BI1 BI2 BI3 BI4 BI6 BI7
|
CM2 CM3
|
|
AI4
|
|
CM4 CM6 CM7 CM8
|
Contidos |
Temas |
Subtemas |
0.- Introuducción |
* Presentación de la asignatura
* Introducción al lenguaje de programación Erlang
* Entorno de desarrollo para los trabajos prácticos
* Repaso de los conceptos de programación funcional |
1.- Erlang para programadores imperativos |
* Elementos básicos del lenguaje de programación Erlang
* Estructuras típicas de programación funcional |
2.- Concurrencia |
* Repaso de los conceptos de concurrencia
* Construcciones de concurrencia en Erlang
* Estructuras concurrentes básicas
* Desarrollo de un ejemplo concreto |
3.- Manejo de errores (tolerancia a fallos) |
* Gestión explícita vs. excepciones
* Estilo de diseño y programación "let if fail"
* Manejo de excepciones try/catch
* Manejo de excepciones en procesos concurrentes
* Estructuras de supervisión
* Ampliación del ejemplo desarrollado en el punto anterior |
4.- Distribución |
* Extensión del modelo de concurrencia a un modelo distribuido
* Consideraciones adicionales de rendimiento y manejo de errores
* Ampliación del ejemplo desarrollado en el punto anterior |
5. Patrones |
* Patrones de concurrencia y distribución
* Ejemplo: behaviours en el lenguaje de programación Erlang |
6.- Validación y verificación |
* Introducción a la verificación y validación de sistemas concurrentes y distribuidos
* Model Checking
* Validación del ejemplo mediante McErlang |
7.- Metodología de la evaluación del rendimiento |
* Motivación
* Criterios y parámetros de rendimiento
* Técnicas de evaluación del rendimiento
* Monitorización de Sistemas Distribuidos
* Caracterización de la carga |
8.- Modelización para la evaluación del rendimiento |
* Teoría de colas
* Redes de colas
* Análisis operacional
* Análisis numérico
* Redes de colas extendidas y Simulación
* Modelización con QNAP2
|
9.- Integración de la evaluación del rendimiento en el ciclo de vida |
* Ciclo de vida Complement
* Integración con álgebras de procesos: ejemplo de LOTOS
* Patrones de rendimiento
|
10.- Estudio de algunos modelos de rendimiento |
* Casos prácticos |
Planificación |
Metodoloxías / probas |
Horas presenciais |
Horas non presenciais / traballo autónomo |
Horas totais |
Sesión maxistral |
25 |
25 |
50 |
Seminario |
5 |
7.5 |
12.5 |
Traballos tutelados |
0 |
26 |
26 |
Prácticas de laboratorio |
3 |
15 |
18 |
Presentación oral |
1 |
2 |
3 |
Investigación (Proxecto de investigación) |
0 |
35 |
35 |
|
Atención personalizada |
5.5 |
0 |
5.5 |
|
*Os datos que aparecen na táboa de planificación son de carácter orientativo, considerando a heteroxeneidade do alumnado |
Metodoloxías |
Metodoloxías |
Descrición |
Sesión maxistral |
Clases magistrales en la exposición de los conocimientos teóricos usándose diferentes recursos: pizarra, proyección de material en formato electrónico, apuntes en formato electrónico y los recursos facilitados por el docente de la asignatura en la facultad virtual. |
Seminario |
Seminarios prácticos en los que se desarrollan los conocimientos adquiridos, tomando un ejemplo concreto como hilo conductor. El docente de la asignatura dirige la realización del seminario, incentivado en lo posible la participación del estudiante. |
Traballos tutelados |
Trabajos tutelados propuestos por el docente de la asignatura y desarrollados por los estudiantes, bien
en grupo, bien individualmente. Estos trabajos tutelados podrán ser evaluados mediante controles tipo test o en las tutorías personalizadas. |
Prácticas de laboratorio |
Prácticas diseñadas por el docente de la asignatura basadas en los conocimientos que el estudiante va
adquiriendo. Los estudiantes desarrollarán estos trabajos en pequeños grupos, preferiblemente de dos personas. |
Presentación oral |
Exposición y defensa del trabajo realizado bien como práctica de laboratorio, bien como proyecto de investigación. |
Investigación (Proxecto de investigación) |
Aplicación de los conocimientos adquiridos a las tareas propias de la investigación. El resultado obtenido se ajustará a los convencionalismos establecidos para la difusión de los resultados de investigación en la comunidad científica asociada a la temática propia de la asignatura. |
Atención personalizada |
Metodoloxías
|
Traballos tutelados |
Prácticas de laboratorio |
Investigación (Proxecto de investigación) |
|
Descrición |
La atención personalizada al estudiante comprende no solo las clásicas tutorías, presenciales o virtuales, para la discusión de dudas, sino también las siguientes actuaciones:
- Seguimiento de la labor realizada en los trabajos tutelados propuestos por el docente.
- Evaluación de los resultados obtenidos en los trabajos y prácticas realizadas por el estudiante.
- Discusión con el fin solucionar los problemas encontrados por el estudiante en la realización de los diversos trabajos de carácter tanto teoríco como práctico. |
|
Avaliación |
Metodoloxías
|
Descrición
|
Cualificación
|
Traballos tutelados |
Se valolarán los siguientes aspectos:
- Dominio de los contenidos de los trabajos académicos propuestos.
- Dominio de los conocimientos teóricos y operativos de la materia.
- Seguimiento adecuado del desarrollo de la asignatura. 10
|
25 |
Prácticas de laboratorio |
Evaluación de las prácticas realizadas de forma continua a lo largo del curso y en una defensa final. A pesar de que las prácticas son realizadas en grupos, cabe diferenciar dos componentes en la evaluación de las prácticas de un alumno:
- Valoración del trabajo en grupo, en la que se califica el grado de coordinación
y compenetración entre los miembros.
- Valoración personal, en la que se califica la aportación concreta del alumno
al grupo de prácticas.
Entre los aspectos a considerar a la hora de valorar las prácticas, se encuentran:
- Rigor en la consecución de los objetivos perseguidos en la práctica utilizando
las técnicas propuestas en la asignatura.
- Asimilación de los conceptos perseguidos por la práctica.
- Originalidad en las propuestas acometidas durante la realización de la prá
actica.
- Responsabilidad en la entrega de las prácticas en tiempo y forma, así como
en el uso adecuado de los recursos habilitados al efecto. |
25 |
Presentación oral |
Se valolarán los siguientes aspectos:
- Dominio de los contenidos expuestos.
- Claridad de la exposición.
- Capacidad para sintetizar y estructurar el conocimiento expuesto.
- Capacidad para responder a las cuestiones planteadas. |
25 |
Investigación (Proxecto de investigación) |
En general se valorará la capacidad mostrada respecto a las siguientes competencias en el marco de los contenidos propios de la asignatura:
C1. - Competencia general: destreza en la adquisición del conocimiento, análisis del estado del arte y bibliografía relevante en un área de investigación.
C2. - Competencia general: capacidad para identificar problemas y plantear adecuadamente las hipótesis a contrastar siguiendo una metodología científica.
C3. - Competencia general: aplicación del método científico mediante análisis empírico de las hipótesis planteadas o mediante demostración formal, en el caso de propiedades matemáticas. Destreza en el diseño de experimentos y el análisis de resultados.
C4. - Competencia general: aptitud para la correcta elaboración y redacción de publicaciones científicas tales como artículos de revista o informes técnicos.
C11. - Competencia general: Conocer resultados recientes en áreas de investigación punteras y presentados de primera mano por sus propios autores o especialistas de reconocido prestigio. |
25 |
|
Observacións avaliación |
Las labores realizadas dentro de cada una de las metodologías puede compartir tareas comunes.
|
Fontes de información |
Bibliografía básica
|
|
|
Bibliografía complementaria
|
|
|
Recomendacións |
Materias que se recomenda ter cursado previamente |
|
Materias que se recomenda cursar simultaneamente |
|
Materias que continúan o temario |
|
|