Grupos de investigación
Métodos formales (todas las áreas)
Atenea
El Grupo Atenea de la Universidad de Málaga investiga sobre el modelado y análisis de sistemas software. En particular estamos interesados en Desarrollo de Software Dirigido por Modelos (Model-Drive […]
COS2MOS (Computer Science for Complex System modelling)
El Grupo COS2MOS (Computer Science for Complex System modelling) de la Universidad de Zaragoza (UZ) está integrado en el Departamento de Informática e Ingeniería de Sistemas (DIIS) de la Escuela de […]
Diseño y Análisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS)
El grupo de investigación sobre Diseño y Análisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS) en el Departamento de Sistemas Informáticos y Computación […]
Extensiones de la Programación Lógica (ELP)
The research group on Extensions of Logic Programming (ELP) works on automated software engineering, advanced software technology, lighthweight formal methods, semantics of programming languages -and […]
GISUM: Grupo de Ingeniería de Software de la Universidad de Málaga
GISUM (Grupo de Ingeniería de Software de la Universidad de Málaga) fue creado en 1989 por el Prof. José María Troya Linero, y es un grupo
de investigación consolidado de la Junta de Andalucía, […]
Grupo de I+D en Computación Distribuida (DisCo)
El Grupo de I+D en Computación Distribuida (DisCo) de la Universidad de Zaragoza (UZ) está integrado en el Departamento de Informática de Ingeniería de Sistemas (DIIS), Escuela de Ingeniería y Ar […]
IMDEA Software Institute
El Instituto IMDEA Software (Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo Software) es una fundación sin ánimo de lucro cuyo objeto es la investigación relacionada con l […]
Laboratorio de Computación lógica, Lenguajes, Implementación, y Paralelismo (CLIP Lab)
El CLIP Lab es un grupo de investigación dinámico, con importante
presencia internacional e impacto, que ha estado activo durante más de
veinticinco años, desde su fundación en 1989 por Manuel
[…]
LoRea Group
El razonamiento automático se dedica al desarrollo de software capaz de demostrar (o refutar) el hecho de que una conjetura sea (o no) consecuencia de un conjunto de axiomas. El lenguaje en el que la […]
Mejora e Innovación en Proyectos de Software (MiProSoft)
Las Líneas de investigación del grupo son:
Dirección de proyectos
Lean & Agile project management
Evaluación y mejora de procesos
Utilización de juegos serios (Gamificación) para la mej […]
Modelado e Ingeniería del Software (miso)
El grupo de Modelado e Ingeniería del Software (miso) del departamento de Ingeniería Informática de la Universidad Autónoma de Madrid investiga en temas relacionados con la Ingeniería del Softwar […]
MORSE
El grupo MORSE está formado por un equipo de profesores e investigadores del deptartamento de Lenguajes y Ciencias de Computación de la Universidad de Málaga (UMA). Las sedes del grupo se encuentra […]
PADS: Process and Data Science
El grupo PADS realiza investigación y transferencia de tecnología en las siguientes áreas:
– Business Process Management:
* TEMAS: Descubrimiento y Mejora de Procesos, Análisis de Conformidad […]
ReTiCS
The ReTiCS group (Real Time and Concurrent Systems) is supported by the Department of Computing Systems from the University of Castilla-La Mancha and the Albacete Research Institute of Informatics, bo […]
SOM Research Lab
SOM (Catalan word to say «We are») is a joint ICREA-UOC research team located at Internet Interdisciplinary Institute (IN3) in the wonderful area of Barcelona
We are interested in the broad area of […]
UCASE de Ingenería del Software
El Grupo UCASE de Ingeniería del Software de la Universidad de Cádiz está formado por 11 investigadores que trabajan en diferentes líneas de investigación: Optimización de problemas, Ingeniería […]