Aportacions a congrés (14) Publicacions en què ha participat algun/a investigador/a

2008

  1. A Study on How Software Engineering Supports Projects Management

    INNOVATIVE TECHNIQUES IN INSTRUCTION TECHNOLOGY, E-LEARNING, E-ASSESSMENT AND EDUCATION

  2. A collaborative framework to support software process improvement based on the reuse of process assets

    ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies

  3. A collaborative framework to support software process improvement based on the reuse of process assets

    ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE

  4. A formal methodology to specify hierarchical agent-based systems

    SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

  5. ACABARASE: An anti-spam case-based reasoning system

    3rd International Conference on Systems, ICONS 2008

  6. Analysing the color uniformity of the ATTD05 perceptual space

    Society for Imaging Science and Technology - 4th European Conference on Colour in Graphics, Imaging, and Vision and 10th International Symposium on Multispectral Colour Science, CGIV 2008/MCS'08

  7. Formal development of a complex information system

    3rd International Conference on Systems, ICONS 2008

  8. Formally comparing user and implementer model-based testing methods

    2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

  9. Formally testing liveness by means of compression rates

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

  10. Genetic analysis of lettuce seed thermoinhibition

    Acta Horticulturae

  11. Origen hepático de la activación temprana del sistema inmune en ratas cirróticas compensadas

    XXXIII Congreso Anual de la Fundación y Asociación Española para el Estudio del Hígado

  12. Passive testing of timed systems

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

  13. Reflexiones sobre la titulización como herramienta para mejorar la relación de agencia accionistas-directivos

    Estableciendo puentes en una economía global

  14. Using formal methods to develop a complex information system: A practical/theoretical experience

    Proceedings of the ACM Symposium on Applied Computing