Communications dans un congrès (16) Publications auxquelles un chercheur a participé

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 THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE

  3. 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

  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. Extension of Yield Management based Decision Support Systems to continuous and hybrid environments

    Insights on Current Organization engineering. [Recurso electrónico]: 2nd International Conference on Industrial Engineering and Industrial Management. XII Congreso de Ingeniería de Organización. September 3rd-5th, 2008. Burgos, Spain

  8. Formal development of a complex information system

    3rd International Conference on Systems, ICONS 2008

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

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

  10. 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)

  11. Genetic analysis of lettuce seed thermoinhibition

    Acta Horticulturae

  12. 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

  13. Passive testing of timed systems

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

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

    Estableciendo puentes en una economía global

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

    Proceedings of the ACM Symposium on Applied Computing

  16. Work in progress - Agent based social simulations by cross-cultural student teams

    Proceedings - Frontiers in Education Conference, FIE