Arquitecturas de Software
Este curso propone una manera de diseñar e implementar software altamente estructurado siguiendo prácticas de ingeniería de software adecuadas para tal fin, como son el diseño por componentes y el diseño dirigido por modelos. Además se considera el desarrollo formal de software como un complemento al diseño arquitectónico que permite garantizar la calidad de éste.
Los temas abordados son:
- Desarrollo formal de Software, Notaciones (B, Z, etc)
- Desarrollo por componentes
- Arquitecturas de software Dirigidas por modelos
- Notaciones semiformales de desarrollo de software
- Documentación de arquitecturas de software
Bases Formales de la Computación
Este curso tiene como objetivos sentar las bases para razonar formalmente sobre los sistemas computacionales, conocer los fundamentos matemáticos para el desarrollo formal de software, conocer los formalismos que sustentan el modelamiento de sistemas basados en eventos y para la teoría de concurrencia, desarrollar las habilidades básicas para la verificación formal de sistemas (software y hardware) y conocer los formalismos para el modelamiento de sistemas de tiempo real.
- Los temas abordados son
- Cálculo de predicados
- Lógicas modales
- Estructuras algebraicas
- Autómatas etiquetados
- Probabilidad discreta
- Redes de Bayes
- Modelos de Markov
- Gramáticas estocásticas
- Redes de Petri (normal, coloreada, estocástica)
- Algebra de procesos (CCS)
- Verificación: transformadores de predicados
Programación Concurrente y Distribuida
Este curso tiene como objetivos estudiar las principales técnicas y modelos de programación concurrente y distribuida, conocer los formalismos para razonar sobre programas concurrentes y distribuidos y analizar los aspectos que inciden en la eficiencia de programas concurrentes
Los temas abordados son:
- Introducción a modelos concurrentes
- Modelo Concurrente declarativo o dirigido por datos
- Verificación de concurrencia declarativa
- Concurrencia por paso de mensajes
- Verificación de concurrencia de paso de mensajes
- Concurrencia de estado compartido
- Especificación y verificación de estado compartido
- Computación distribuída
Computación Centrada en Red
Los objetivos de este curso son conocer cómo desarrollar aplicaciones de software que operen confiablemente en una red, profundizar en conceptos de seguridad para este tipo de aplicaciones y analizar en detalle conceptos fundamentales de redes.
Los temas abordados son:
- Conceptos generales en redes
- Criptografía: Técnicas y algoritmos
- Protocolos de comunicación: seguridad
- Programación en red
- Lenguajes y ambientes de programación seguros
- Servicios Web
- Computación móvil
Modelamiento Computacional de Procesos
Este curso proporciona los conocimientos requeridos para utilizar cálculos de procesos concurrentes con el fin de describir formalmente el comportamiento de sistemas distribuidos y razonar sobre este. Se aborda además el modelamiento de sistemas distribuidos y concurrentes de la vida real por medio de cálculos de procesos, estudiando las ventajas y limitaciones de los principales cálculos de procesos concurrentes, los mecanismos de verificación de propiedades de sistemas modelados con cálculos concurrentes. Se presentan aplicaciones de cálculos de procesos en biología molecular, procesamiento de audio y seguridad.
Los temas abordados son:
- Álgebra de Proceses (CCS)
- Repaso teoría de autómatas
- Procesos concurrentes que se comunican
- Reducciones Semánticas
- Semántica operacional
- Equivalencia de Procesos
- Bisimilaridad, bisimulación
- Cálculo PI
- Motivación, Sintaxis, ejemplos
- Semántica
- Extensiones del Cálculo PI
- Cálculos concurrentes por restricciones (cc)
- Cálculos temporales por restricciones (tcc, ntcc)
- Otros cálculos (Ambient, brane, SPL, etc)
- Aplicaciones: Generales, movilidad, seguridad, bio-informática, etc
Ambientes de Realidad Virtual
Este curso tiene como objetivo conocer, analizar y utilizar tecnologías y conceptos de computación gráfica, y principios de animación y simulación con el fin de lograr ambientes virtuales que sirvan para construir aplicaciones tridimensionales complejas, como por ejemplo juegos, efectos especiales, etc.
Los temas abordados son:
- Fundamentos de computación gráfica
- Modelamiento avanzado de objetos tridimensionales
- Animación
- Bases de la simulación
- Modelamiento basado en física
- Sistemas de partículas
- Sistemas complejos
- Colisión y respuesta
- Dispositivos y técnicas de interacción
- Juegos de computador
Reconocimiento de Patrones en Tecnologias del Habla
Este curso tiene como objetivos establecer la bases necesarias para realizar reconocimiento de patrones, conocer los fundamentos estadísticos utilizados en reconocimiento de patrones y comprender los diferentes procesos involucrados en el reconocimiento y entendimiento del habla.
Los temas abordados son:
- Conceptos básicos de reconocimiento de patrones
- Aprendizaje supervisado y no supervisado
- Funciones de decisión
- Clasificador Bayesiano
- Estimación de la función de densidad probabilística
- Reconocimiento de patrones sintácticos
- Lenguajes estocásticos
- Inferencia gramatical
- Síntesis del habla
- Reconocimiento de voz
- Representación del conocimiento
- Sistemas de entendimiento del habla
Descubrimiento de Conocimiento
Este curso tiene como objetivo conocer y experimentar técnicas para descubrir o confirmar patrones a partir de grandes bases de datos.
Los temas abordados son:
- Introducción al descubrimiento de conocimiento en bases de datos
- Bodegas de datos
- Preprocesamiento de datos
- Operaciones de minería de datos
- Reglas de asociación
- Clasificación de datos
- Clustering de datos
- Web-mining
Tendencias en el Desarrollo de Software
Este curso tiene como objetivo realizar una revisión de las últimas tendencias y aportes sobre metodologías y técnicas aplicadas al desarrollo de software y analizar el estado actual de la práctica de la ingeniería de software, a través de la lectura, análisis y discusión de artículos seleccionados, donde se presenten las últimas tendencias sobre tópicos avanzados de Ingeniería de Software, tales como procesos de desarrollo de software, ciclo de vida, especificación y análisis de requerimientos, diseño, pruebas y análisis formal, métricas, administración de la calidad del software, administración de recurso humano y equipos de trabajo.
