Publicaciones en las que colabora con MARÍA VISITACIÓN HURTADO TORRES (36)

2016

  1. A metaprocesses-oriented methodology based on ras (Software assets reuse)

    Communications in Computer and Information Science

2013

  1. Adding sense to patent ontologies: A representation of concepts and reasoning

    Advances in Intelligent Systems and Computing

  2. Analyzing a firm's international portfolio of technological knowledge: A declarative ontology-based OWL approach for patent documents

    Advanced Engineering Informatics, Vol. 27, Núm. 3, pp. 358-365

  3. Semantic patent information retrieval and management with OWL

    Advances in Intelligent Systems and Computing

  4. Semantic-based recommendation of nutrition diets for the elderly from agroalimentary thesauri

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

2012

  1. A metaprocesses-oriented methodology for software assets reuse in the e-health domain

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

  2. Enabling correct design and formal analysis of Ambient Assisted Living systems

    Journal of Systems and Software, Vol. 85, Núm. 3, pp. 498-510

  3. Hierarchical role-based design of web-based educational systems for blended learning in higher education

    Journal of Research and Practice in Information Technology, Vol. 44, Núm. 2, pp. 223-242

2011

  1. Entorno de interacción colaborativa mediante debate virtual

    Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 6, Núm. 4, pp. 175-182

  2. Goal-Oriented Software Architecting

    RELATING SOFTWARE REQUIREMENTS AND ARCHITECTURES (SPRINGER), pp. 91-109

  3. Groupbate: soporte al debate virtual en entornos de aprendizaje colaborativo

    Avances en Ingeniería del Software Aplicada al E-learning: actas revisadas y extendidas del 1er Taller sobre Ingeniería del Software en e-Learning-ISELEAR'10 (Universidad Complutense de Madrid), pp. 177-192

2009

  1. Applying formal verification techniques to ambient assisted living systems

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