Sistedes

  • Sobre Sistedes
  • Actividades
  • Servicios
  • Acerca de
  • Equipo
  • Contacto

Grupos de investigación

Paradigmas de Programación (todas las áreas)

Atenea

Universidad de Málaga

Responsable: Antonio Vallecillo

Contacto: Loli Burgueño

Arquitecturas software, Ingeniería del software dirigida por modelos, Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

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 […]

Más información »

Diseño y Análisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS)

Universidad Complutense de Madrid

Responsable: Narciso Martí Oliet

Contacto: Ricardo Peña Marí

Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

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 […]

Más información »

Extensiones de la Programación Lógica (ELP)

DSIC, Universitat Politècnica de València

Responsable: María Alpuente

Contacto: María Alpuente

Big Data, Métodos formales, Paradigmas de Programación

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 […]

Más información »

GISUM: Grupo de Ingeniería de Software de la Universidad de Málaga

Universidad de Málaga

Responsable: Ernesto Pimentel

Contacto: Ernesto Pimentel

Arquitecturas Orientadas a Servicios, Arquitecturas software, Big Data, Cloud Computing, Gestión de datos, Ingeniería de Servicios, Ingeniería del software dirigida por modelos, Internet de las Cosas, Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

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, […]

Más información »

Grupo de Sistemas de Información

Departamento de Informática. Universidad de Almería.

Responsable: Jesús Manuel Almendros Jiménez

Contacto: Jesús Manuel Almendros Jiménez

Gestión de datos, Ingeniería del software dirigida por modelos, Paradigmas de Programació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 […]

Más información »

IMDEA Software Institute

IMDEA Software Institute

Responsable: Manuel Carro (Director)

Contacto: José F. Morales Caballero

Arquitecturas software, Big Data, Cloud Computing, Ingeniería Web, Internet de las Cosas, Métodos formales, Paradigmas de Programación

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 […]

Más información »

Laboratorio de Computación lógica, Lenguajes, Implementación, y Paralelismo (CLIP Lab)

Universidad Politécnica de Madrid

Responsable: Manuel Hermenegildo

Contacto: Manuel Hermenegildo

Cloud Computing, Ingeniería de Servicios, Internet de las Cosas, Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

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
[…]

Más información »

LoRea Group

Universidad del País Vasco

Responsable: Paqui Lucio

Contacto: Paqui Lucio

Ingeniería del software dirigida por modelos, Métodos formales, Paradigmas de Programación, Requisitos, calidad y pruebas

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 […]

Más información »

Modelado e Ingeniería del Software (miso)

Universidad Autónoma de Madrid

Responsable: Juan de Lara

Contacto: Juan de Lara

Ingeniería del software dirigida por modelos, Métodos formales, Paradigmas de Programación

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 […]

Más información »

ModelUM

Grupo de Ingeniería del Software - Facultad de Informática - Universidad de Murcia

Responsable: Jesús García Molina

Contacto: Jesús García Molina

Big Data, Gestión de datos, Ingeniería del software dirigida por modelos, Internet de las Cosas, Paradigmas de Programación

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 […]

Más información »

  • Aviso legal
  • Política de cookies
info [at] sistedes.es