Publications (55)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2009 Remove filter
filter_list from 2009 to 2009 Software

2009

  1. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 83-102

  2. A formal model and composition language for context-aware service protocols

    CASTA'09 - Proceedings of the 1st International Workshop on Context-Aware Software Technology and Applications

  3. A graphical approach for modeling time-dependent behavior of DSLs

    2009 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009

  4. A study of the multi-objective next release problem

    Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009

  5. Adding aspect-oriented concepts to the high-performance component model of SBASCO

    Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009

  6. An adaptive genetic fuzzy control gateway discovery to interconnect hybrid MANETs

    IEEE Wireless Communications and Networking Conference, WCNC

  7. An asynchronous parallel implementation of a cellular genetic algorithm for combinatorial optimization

    Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009

  8. Behavior, time and viewpoint consistency:Three challenges for MDE

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

  9. Behavioural self-adaptation of services in ubiquitous computing environments

    Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009

  10. Checking Protocol Compatibility using Maude

    Electronic Notes in Theoretical Computer Science, Vol. 255, pp. 65-81

  11. Complete Def-Use analysis in recursive programs with dynamic data structures

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

  12. Dealing with inheritance in OO evolutionary testing

    Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009

  13. Development of applications based on security patterns

    Proceedings - 2009 2nd International Conference on Dependability, DEPEND 2009

  14. Dinapter: Automatic Adapter Specification for Software Composition

    Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 161-171

  15. Dynamic weaving of aspect-oriented executable UML models

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

  16. Early aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design

    2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

  17. Formal specification and analysis of domain specific models using maude

    Simulation, Vol. 85, Núm. 11-12, pp. 778-792

  18. Genotypic differences and migration policies in an island model

    Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009

  19. High performance circle detection through a GPU rasterization approach

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

  20. Hybrid DE-SVM approach for feature selection: Application to gene expression datasets

    2009 2nd International Symposium on Logistics and Industrial Informatics, LINDI 2009