GRUPOS DE INVESTIGACION
GRUPOS INTERNACIONALES
 |
LAFMIA, French-Mexican Laboratory of Informatics and Automatic Control (Puebla, México). |
 |
El grupo ATLAS es un equipo de investigación de INRIA que trabaja en la Universidad de Nantes y está relacionado con el laboratorio de investigación LINA. |
 |
Grupo de investigación de la Universidad de Bretaña Sur (Francia) especializado en aspectos formales de arquitecturas software. |
 |
El Centro Nacional para la Investigación Científica (CNRS) es una organización financiada por el gobierno bajo la autoridad administrativa del Ministerio de Investigación de Francia. |
 |
Grupo de investigación de la Universidad de Brunel (Reino Unido) especializado en sistemas de información. |
 |
Departamento de Ingeniería de Sistemas de Información en la Facultad Regional de Resistencia de la Universidad Tecnológica Nacional (Argentina). |
 |
El Information Systems Group está especializado en ingeniería de requisitos en la Universidad de Twentee (Países Bajos). |
 |
HADAS group of the Informatics Laboratory of Grenoble (France). |
GRUPOS NACIONALES
|
Grupo de investigación de la Universidad de Castilla – La Mancha (UCLM) especializado en aspectos de calidad dentro de la Ingeniería del Software. |
 |
Grupo de investigación de la Universidad de Málaga especializado en métodos y tecnologías para el desarrollo de Software. |
 |
Grupo de investigación de la Universidad Politécnica de Madrid (UPM) especializado en Ingeniería del Software empírica. |
 |
Grupo GIDHE de Integración de sistemas Distribuidos y HEterogéneos de la Universidad de Zaragoza. |
 |
Laboratorio de Bases de Datos de la Universidad de A Coruña. |
 |
Grupo de investigación TER (Testing and Performance Evaluation) dedicado al estudio de métodos formales en el proceso del testing y al análisis y evaluación del rendimiento de sistemas informáticos. |
 |
Grupo MISO. Modelling & Software Engineering research group de la Universidad Autónoma de Madrid. |
 |
Grupo Costa de la Universidad Complutense de Madrid. The research group COSTA devises formal techniques and models for optimizing, verifying and understanding programs, and develops related implementation technology. |