Curso 2011-2012
 |
311050 — Máster Universitario de Investigación en Ingeniería de Software y Sistemas Informáticos
|
 |
|
|
311050 — Máster Universitario de Investigación en Ingeniería de Software y Sistemas Informáticos
|
|
Arquitecturas Software: Gestión de los atributos de calidad y su incorporación en ArchE para la mejora del análisis, evaluación y soporte en la toma de decisiones durante el desarrollo arquitectónico. Aplicación para reconocimiento visual y datación de jeroglíficos egipcios. Modelos simbólico-conexionistas para la segmentación y descripción de Marcas de Cantero. Soporte para la Configuración Automática de Líneas de Productos. Proceso de Desarrollo de Software basado en metodologías ágiles y CMMI-DEV. Análisis Automático de Modelos de Configuración: el Sistema Operativo eCos. ArchE: Arquitectura y Toma de Decisiones de un Sistema de Información para la Publicación de Eventos Sísmicos de Emergencia (Terremotos y Tsunamis). ArchE: Evaluación de Arquitecturas y Toma de Decisiones. ArchE: Arquitecturas y Toma de Decisiones. Implementación del Protocolo CoAP en Xtend. Desarrollo de un Sistema Dinámico de Verificación de Software Basado en un Comprobador de Satisfacibilidad Lógica. Análisis Comparativo de la Adaptación de PYMES a ITIL. Diseño de un Analizador de Vulnerabilidades en la Codificación en C.
Arquitecturas para SIG distribuidos. ArchE: Evaluación de Arquitecturas y Toma de Decisiones. Aplicación al Análisis de Arquitecturas Software en el Sector Aeronáutico. Trabajo completo.
Definición de un Marco Multiplataforma bajo un Lenguaje de Dominio Propio para el Manejo de Recursos Multimedia en Aplicaciones Móviles. El Problema de la Gestión Financiera en una Organización de TI. Simulación del Internet de las Cosas. Escalado de Imagen Mediante la Interpolación por Mínimos Cuadrados y Comparación con los Métodos Clásicos. Aplicación para la Gestión de Recursos Físicos de una Sala de Reuniones. Aplicaciones para la Movilidad en Empresas: Gestión de Reuniones en Recintos Cerrados. Evaluación y Mejora de Arquitecturas Software a Través de la Valoración de los Atributos de Calidad Mediante su Incorporación y Evaluación en la Herramienta ArchE. Definición de un DSL para la Gestión de Sensores en Dispositivos Móviles. Creación de Red LWM2M para Redes de Visión y Lectores RFID. Aplicación para el Cálculo de Consumos Energéticos en el CERN, Empleando el Histórico del Sistema de Control Eléctrico (SCADA). Detección y Bloqueo de BotNets Mediante la Combinación de Técnicas Basadas en el Tráfico de Red. Modelos de Procesos, Selección del Estándar Adecuado para Nuestra Organización.
CapicuaGen: Generador de Código Basado en Características. Comparación entre sistemas de integración.
Desarrollo de un marco de gestión de proyectos para el desarrollo seguro en entornos industriales de infraestructuras críticas. Evolución del desarrollo de productos software basados en procesos analíticos avanzados mediante soluciones Big Data a través de la aplicación de modelos específicos del dominio. Framework de generación de pruebas unitarias sobre servicios web´s para dar soporte a tareas de comprobación de cumplimiento de requisitos. Generación automática de código ABAP IV para sistemas SAP R3.
Beacons Bluetooth para Ludificación de un Espacio. Desarrollo de un DSL para el reconocimiento óptico de caracteres en el ámbito de la gestión documental. Desarrollo de una solución vertical para la monitorización del suministro de agua mediante la plataforma IoTsens. DSL de Pruebas Unitarias en Ruby. El Gobierno del Software en Fase de Mantenimiento. Extending the R programming language to create and manage Boolean models encoded as BDDs. Generación de código a partir de estructuras jerárquicas de procesos elementales. Aplicación a SAP ERP. Gestor de transacciones distribuidas asíncronas en arquitecturas de microservicios. Lenguaje Gráfico para la Programación de Experimentos sobre Laboratorios Virtuales. Mejora del Componente Gestión de Contratos y Proyectos (GCP), Mediante su Rediseño Utilizando ADD y MDA en un Proceso Ágil.
Rating de Salud.
Segmentación Automática de Prótesis de Rodilla en Radiografías: Estudio Comparativo y Propuesta Metodológica. Service Builder, Software que Escribe y Evoluciona Aplicaciones Liferay Portal. Visualización Avanzada de datos de observación medioambiental con tecnologías semánticas. WChess.com: Una investigación del mantenimiento de la seguridad durante el ciclo de vida del desarrollo software.
Análisis Comparativo para Aplicaciones Web Basados en Servicios REST: stack MEAN y stack Java EE. Analizador/Generador Automático de Vulnerabilidades/Malusos (Exploits). ArchE: Arquitecturas y Toma de Decisiones. Aplicación al Análisis de Arquitecturas Software para Sistemas E-learning. Definición de un Lenguaje Visual Específico de Dominio para el Modelado y la Generación Automática del Código de Automatización de las Pruebas Funcionales de las Aplicaciones.
Desarrollo de un Sistema de Gestión de Contenidos para Aplicaciones Móviles. Desarrollo y Evaluación de Técnicas de Visión Artificial Aplicadas a un Problema de Reconocimiento Facial.
Desarrollo y Evaluación de Técnicas de Visión Artificial Aplicadas a un Problema de Reconocimiento Facial. Desarrollo y Evaluación de Técnicas de Visión Artificial Aplicadas a un Problema de Reconocimiento Gestual. Detección Inteligente de Errores en la Industria 4.0 a través de un Sistema IoT: Control de Cuellos de Botella Producidos en los Procesos de Envasado. Diseño de un Modelo de Integración de Sistemas Mediante Arquitectura ESB. Diseño e Implementación de una Intranet Basada en la Arquitectura de Microservicios para Ambientes Empresariales. Especificación y Verificación de Sistemas de Electrificación Ferroviaria. Estrategias de Poda en Redes Neuronales Convolucionales. Estudio y Mejora de un Modelo de Evaluación de Calidad de Proyectos de Software Libre. Generación Automática de Configuración de Procesos en la Herramienta JIRA. Generación Automática de Microservicios.
GenMovil: Aplicación WebDSL para Crear Aplicaciones Multiplataforma. Implementación del Proceso de Gestión de Incidencias Basado en ITIL para Mejorar la Calidad del Servicio del Departamento de TICs de la Pontificia Universidad Católica de Ecuador, sede Esmeraldas. ITIL Incidents. La Ejecución Simbólica en el Análisis de Vulnerabilidades de Programas. Optimización de una Librería de Alto Rendimiento Multiplataforma para Procesamiento de Imagen. Plan de Acción para la Renovación del Nivel 5 de Madurez para las Constelaciones CMMI-DEV y CMMI-SVC dentro de una Organización Especializada en el Desarrollo de Software y la Prestación de Servicios. Sistema de Propagación de Averías en la Industria 4.0. Toma de Decisiones Basada en el Clasificador de Naive Bayes Ponderado.
Analizador/Generador Automático de Vulnerabilidades/Malusos (Exploits). Arquitectura software para analíticas de aprendizaje en laboratorios online. Automatización de Procesos de Verificación, Validación e Integración Software. Conversor entre XAML y XML Android mendiante DSL. Decisiones Multicriterio para Valoración de Currículum. Desarrollo y evaluación de técnicas de visión artificial aplicadas a un problema de reconocimiento facial. Estrategias para la Integración de Tecnología RAD. Evaluación de Soluciones para la Optimización del Uso de la Energía en Vehículos Aéreos no Tripulados
. Generación Automática de Código, Documentación y Datos de Pruebas Unitarias para Entornos Productivos Mainframes. Integración de Datos, con SOA y MSA, en la Industria del Transporte Marítimo de Contenedores. Metodologías Ágiles y aplicación al desarrollo Software. Procedimientos de actuación para evitar vulnerabilidades de software.
Definición de Integración y Entrega Continua para el Desarrollo de Aplicaciones Móviles Multiplataforma
. Dispositivo para la Seguridad de Cámaras IP en Entorno Doméstico. DSL para Pruebas Unitarias en Aplicaciones Móviles usando APPIUM como Intérprete. Implementación de un Sistema de Videovigilancia, basado en Microservicios, mediante el uso de la Tecnología Blockchain. Generative Cloud Manager: Code-Runner. Redes M2M descentralizadas y distribuidas de IoT de sensores y actuadores inteligentes en computación ubicua. Sistemas de apoyo para la toma de decisiones en situaciones de estrés. Soporte Automático para el Testing Combinatorio de Sistemas Software.
Mejoras de los motores físicos: ODE y Bullet. Análisis sobre el Uso de Metodologías Ágiles en la Gestión Clásica de Proyectos. Desarrollo y evaluación de técnicas de visión artificial aplicadas a un problema de reconocimiento facial. Aplicación de Captura y Procesado de Datos en una Planta Productiva. Modelo de Trabajo y Buenas Prácticas para un Proyecto de Migración de una Aplicación Bancaria en Entorno Mainframe. Integración y Evolución hacia una Arquitectura Orientada a Microservicios, Dirigida por Eventos, en la Difusión de Información en los Mercados Financieros. Mejora de un Sistema de Auditoría Interna para Procesos y Procedimientos a Estaciones de Servicio (SAIPP-ES) utilizando la herramienta ArchE. Predicción de Precios de Criptomonedas mediante un Modelo de Inferencia Difuso. Análisis y Desarrollo de una Aplicación Android para Entrenamiento Personal. SaaS de integración continúa bajo demanda como mejora de la experiencia del desarrollador en MicroFrontends. Platón, Plataforma Digital del Servicios de la Administración Local Interoperable con la Administración General. Análisis de causa raíz de vulnerabilidades en proyectos software.
Aplicación “Monitoring Sensors APP” para Monitorización de Sensores IoT. Codificación de Estrategias de Inversión en Mercados de Capitales: Aproximación Teórico Práctica mediante Asistente Automático. Desarrollo de Software y Tests Cuánticos Mediante un Enfoque Generativo Basado en Modelos. Diseño de Sistema de Internet de las cosas para la Apicultura. Evaluar, seleccionar e implantar una herramienta de gestión de proyectos desarrollados bajo una metodología ágil. Implementación de una herramienta para automatizar el proceso de desarrollo de software mediante integración continua. Mejora de los Procesos de Desarrollo y Mantenimiento de Software en Grandes Organizaciones. Mejora del Proceso de Implantación de Líneas de Productos de Software Mediante la Construcción y Uso de la Herramienta SPL Studio. Modelo Mask R-CNN aplicado a la detección de armas en videovigilancia. Muestreo Aleatorio de Circuitos basado en BDDs. Plataforma SOA de Servicios de Visión Artificial.
API Management en Arquitecturas Serverless. Diseño de un Lenguaje de Dominio Específico para la Gestión de Mapas de Memoria de Tarjeras Sin Contacto. Diseño de un Modelo Algorítmico Estandarizado para la Supervisión de un Sistema o Proceso. Incremental SAT-based Detection of Core and Dead Features in Configuration Models. Identificación de Malas Hierbas en Imágenes procedentes de Cultivos mediante Redes Convolucionales implementadas en las Librerías Detectron2 y MMDetection. Redes DLT de Sensorización
Privadas basadas en IOTA.
ISO ANEXOS
Evaluación CBAM
Prototipo
Software desarrollado