Área
Ciencias
Aportaciones congreso (14) Publicaciones en las que ha participado algún/a investigador/a
2008
-
A Study on How Software Engineering Supports Projects Management
INNOVATIVE TECHNIQUES IN INSTRUCTION TECHNOLOGY, E-LEARNING, E-ASSESSMENT AND EDUCATION
-
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
-
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
-
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
-
ACABARASE: An anti-spam case-based reasoning system
3rd International Conference on Systems, ICONS 2008
-
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
-
Formal development of a complex information system
3rd International Conference on Systems, ICONS 2008
-
Formally comparing user and implementer model-based testing methods
2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08
-
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)
-
Genetic analysis of lettuce seed thermoinhibition
Acta Horticulturae
-
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
-
Passive testing of timed systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reflexiones sobre la titulización como herramienta para mejorar la relación de agencia accionistas-directivos
Estableciendo puentes en una economía global
-
Using formal methods to develop a complex information system: A practical/theoretical experience
Proceedings of the ACM Symposium on Applied Computing