Publications (10)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2014 Remove filter
filter_list from 2014 to 2014 Software Engineering

2014

  1. Adaptation of asynchronously communicating software

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. An Aspect-Oriented Model Transformation to Weave Security using CVL

    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014)

  3. An Integrated Security and Systems Engineering Process and Modelling Framework

    Computer Journal, Vol. 58, Núm. 10, pp. 2328-2350

  4. Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines

    Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014

  5. Dynamic verification of mashups of service-oriented things through a mediation platform

    Journal of Universal Computer Science, Vol. 20, Núm. 8, pp. 1049-1070

  6. On the Industrial Adoption of Model Driven Engineering. Is your company ready for MDE?

    International Journal of Information Systems and Software Engineering for Big Companies: IJISEBC, Vol. 1, Núm. 1, pp. 52-68

  7. Quality in use and software greenability

    CEUR Workshop Proceedings

  8. Systolic genetic search for software engineering: The test suite minimization case

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  9. The movie database case: Solutions using maude and the maude-based e-motions tool

    CEUR Workshop Proceedings

  10. Towards approximate model transformations

    CEUR Workshop Proceedings