Publications (8)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2006

  1. A UML 2.0 profile for WebML modeling

    ACM International Conference Proceeding Series

  2. A generic MOF metamodel for aspect-oriented modelling

    JOINT MEETING OF THE FOURTH WORKSHOP ON MODEL-BASED DEVELOPMENT OF COMPUTER-BASED SYSTEMS AND THIRD INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS

  3. An ontology for software measurement

    Ontologies for Software Engineering and Software Technology (Springer Berlin Heidelberg), pp. 175-196

  4. On the evolution of reliability methods for critical software

    Journal of Integrated Design and Process Science, Vol. 10, Núm. 4, pp. 55-67

  5. Towards MDD transformations from AO requirements into AO architecture

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

  6. Towards model checking C code with OPEN/CæSAR

    Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

  7. Typing the behavior of software components using session types

    Fundamenta Informaticae

  8. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation

    1re Conference Francophone sur les Architectures Logicielles, CAL 2006