Sistedes

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

Grupos de investigación

Métodos formales (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 »

COS2MOS (Computer Science for Complex System modelling)

Universidad de Zaragoza, Escuela de Ingeniería y Arquitectura

Responsable: Sergio Ilarri

Contacto: Sergio Ilarri

Big Data, Cloud Computing, Gestión de datos, Métodos formales, Sistemas Pervasivos

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

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 I+D en Computación Distribuida (DisCo)

Universidad de Zaragoza, Escuela de Ingeniería y Arquitectura

Responsable: Pedro Álvarez

Contacto: Pedro Álvarez

Arquitecturas Orientadas a Servicios, Big Data, Cloud Computing, Métodos formales, Procesos de negocio

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

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 »

Mejora e Innovación en Proyectos de Software (MiProSoft)

Universitat de les Illes Balears (UIB)

Responsable: Antonia Mas

Contacto: Antoni Lluís Mesquida

Ingeniería del software dirigida por modelos, Métodos formales, Procesos de negocio, Requisitos, calidad y pruebas

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

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 »

MORSE

Universidad de Málaga

Responsable: Pedro Merino Gómez

Contacto: María del Mar Gallardo Melgarejo

Ingeniería del software dirigida por modelos, Internet de las Cosas, Métodos formales, Requisitos, calidad y pruebas

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

Más información »

PADS: Process and Data Science

Universitat Politècnica de Catalunya

Responsable: Josep Carmona

Contacto: Josep Carmona

Gestión de datos, Métodos formales, Procesos de negocio

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

Más información »

ReTiCS

University of Castilla-La Mancha

Responsable: Gregorio Díaz Descalzo

Contacto: Gregorio Díaz Descalzo

Arquitecturas Orientadas a Servicios, Big Data, Cloud Computing, Ingeniería de Servicios, Ingeniería del software dirigida por modelos, Ingeniería Web, Internet de las Cosas, Métodos formales, Procesos de negocio, Sistemas Pervasivos

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

Más información »

SOM Research Lab

ICREA - UOC

Responsable: Jordi Cabot

Contacto: Robert Clarisó

Ingeniería del software dirigida por modelos, Ingeniería Web, Métodos formales

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

Más información »

UCASE de Ingenería del Software

Universidad de Cádiz

Responsable: Inmaculada Medina-Bulo

Contacto: Juan Boubeta-Puig

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

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

Más información »

  • Aviso legal
  • Política de cookies
info@sistedes.es