ISA is the Research Group of Applied Software Engineering composed by research staff of the Department Computer Languages and Systems of the University of Sevilla.


Antonio Ruiz Cortés profile

Antonio Ruiz Cortés

Head Researcher
F0.53 954556874

Adela del Río profile

Adela del Río

Senior Assistant Professor
F0.54 954559814

Alfonso E. Márquez profile

Alfonso E. Márquez

Assistant Professor
I0.63 955420928

Amador Durán profile

Amador Durán

Associate Professor
F1.65 954553872

Ana B. Sánchez profile

Ana B. Sánchez

Assistant Professor
E0.40 954556973

Beatriz Bernárdez profile

Beatriz Bernárdez

Senior Assistant Professor
F1.47 954553870

Bedilia Estrada profile

Bedilia Estrada

F0.83 954559531

Carlos G. Müller profile

Carlos G. Müller

Assistant Professor
F0.43 954553868

Javier Troya profile

Javier Troya

Assistant Professor
E0.40B 954556973

Joaquín Peña profile

Joaquín Peña

Senior Assistant Professor
F1.51 954556003

Jose A. Parejo profile

Jose A. Parejo

Associate Professor
I0.71 954556877

José M. García profile

José M. García

Associate Professor
F1.56 954556086

Manuel Resinas profile

Manuel Resinas

Associate Professor
F0.47 954553867

Octavio Martín profile

Octavio Martín

Senior Assistant Professor
F1.44 954553871

Pablo Fernández profile

Pablo Fernández

Associate Professor
I0.67 954556236

Pablo Trinidad profile

Pablo Trinidad

Associate Professor
F0.42 954559897

Sergio Segura profile

Sergio Segura

Associate Professor
I0.65 954556881

Next Events

Research Lines

Business Process Management

Performance management and monitoring, Service Level Agreements, predictive monitoring, business process analytics, human resource management.

Experiments Support

Support for formal description of experiments.


Development of metaheuristic frameworks and ecosystems; new heuristics for optimization problems in service and software engineering: composition, negotiation, ranking…

Service Governance

Automated analysis, creation, diagnosis and management of governance documents; policies modelling; enforcement of SLAs; autonomic and self-* platforms; monitoring. Automated analysis, creation, diagnosis, negotiation and management of SLAs; advanced models of SLAs: temporal-awareness, symmetry, uncertainty, composition; formalization and extension of WS-Agreement.

Software Product Lines

Automated analysis and management of feature models; algebra of variability models; software ecosystems; product management.

Software Testing

Software quality; automated test data generation; test assessment; oracle problem.

Latest Projects

Registered Tools


Google Scholar
Research Gate