Publications (5)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2002

  1. Adapting components with mismatching behaviours

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

  2. Debugging UML designs with model checking

    Journal of Object Technology, Vol. 1, Núm. 2, pp. 101-117

  3. Dynamically adapting the behaviour of software components

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

  4. Separation of Coordination in a Dynamic Aspect Oriented Framework

    1st International Conference on Aspect-Oriented Software Development

  5. Using XML to implement abstraction for model checking

    Proceedings of the ACM Symposium on Applied Computing