Tecnologías Habilitadoras para Ecosistemas Software (Theos)

Referencia: P10-TIC-5906

Tipo: Proyecto de investigación
Programa financiador: Proyectos de Excelencia de la Junta de Andalucía
Entidad financiadora: Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas
Ámbito: Autonómico
Convocatoria competitiva:
Fecha de inicio: 15/03/2011
Fecha de fin: 30/04/2016
Participantes en la financiación
Nombre Rol
Ruiz Cortés, Antonio Responsable
Müller Cejás, Carlos Investigador/a
Peña Siles, Joaquín Investigador/a
García Galán, Jesús Investigador/a
Fernández Montes, Pablo Investigador/a
Martín Díaz, Octavio Investigador/a
Segura Rueda, Sergio Investigador/a
Cruz Risco, Margarita Investigador/a
Bernárdez Jiménez, Beatriz Investigador/a
Pérez Jiménez, Juan Diego Investigador/a
Cabanillas Macías, Cristina Investigador/a
Parejo Maestre, José Antonio Investigador/a
Resinas Arias de Reyna, Manuel Investigador/a
Galindo Duarte, José Ángel Investigador/a
García Rodríguez, José María Investigador/a
Pelechano Ferragud, Vicente Investigador/a
Trinidad Martín-Arroyo, Pablo Investigador/a
del Río Ortega, Adela Investigador/a
Durán Toro, Amador Investigador/a
Rueda Barranco, Miguel Investigador/a
Carneiro Roos, Fabricia Investigador/a
Benavides Cuevas, David Investigador/a
Pastor Saenz, Rafael Investigador/a
Bocanegra García, José Joaquín Investigador/a
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2018 Full contract verification for ATL using symbolic execution SOFTWARE AND SYSTEMS MODELING
Ponencia 2017 Improve performance management in flexible business processes 21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2
Artículo 2016 Traceability Analyses between Features and Assets in Software Product Lines ENTROPY
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS