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
Benavides Cuevas, David Investigador/a
Bernárdez Jiménez, Beatriz Investigador/a
Bocanegra García, José Joaquín Investigador/a
Cabanillas Macías, Cristina Investigador/a
Carneiro Roos, Fabricia Investigador/a
Cruz Risco, Margarita Investigador/a
del Río Ortega, Adela Investigador/a
Durán Toro, Amador Investigador/a
Fernández Montes, Pablo Investigador/a
Galindo Duarte, José Ángel Investigador/a
García Galán, Jesús Investigador/a
García Rodríguez, José María Investigador/a
Martín Díaz, Octavio Investigador/a
Müller Cejás, Carlos Investigador/a
Parejo Maestre, José Antonio Investigador/a
Pastor Saenz, Rafael Investigador/a
Pelechano Ferragud, Vicente Investigador/a
Peña Siles, Joaquín Investigador/a
Pérez Jiménez, Juan Diego Investigador/a
Resinas Arias de Reyna, Manuel Investigador/a
Rueda Barranco, Miguel Investigador/a
Ruiz Cortés, Antonio Responsable
Segura Rueda, Sergio Investigador/a
Trinidad Martín-Arroyo, Pablo 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