Grupos de investigación
Paradigmas de Programación (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 […]
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 Sistemas de Información
El Grupo de Sistemas de Información de la Universidad de Almería trabaja en la línea de investigación de lenguajes de programación y bases de datos. Su principal interés se centra en lenguajes d […]
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 […]
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 […]
ModelUM
Composición: 4 doctores y 3 doctorandos en la actualidad.
Historial: Creado en 2005 y desde entonces sus líneas de investigación se han centrado en MDE (Ingeniería del Software Dirigida por Mod […]