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

    Associate 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
    F0.42 954559897

    M. Margarita Cruz profile

    M. Margarita Cruz

    Assistant Professor
    F1.49 954552772

    Manuel Resinas profile

    Manuel Resinas

    Associate Professor
    F0.47 954553867

    Octavio Martín-Díaz profile

    Octavio Martín-Díaz

    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