Artículo | 2021 |
Blockchain smart contract meta-modeling
|
JOURNAL OF WEB ENGINEERING |
Revisión | 2020 |
Model-based software design and testing in blockchain smart contracts: a systematic literature review
|
IEEE ACCESS |
Ponencia | 2020 |
The current limitations of blockchain traceability: challenges from industry
|
WEBIST 2020 - Proceedings of the 16th International Conference on Web Information Systems and Technologies |
Artículo | 2020 |
The importance of testing in the early stages of smart contract development life cycle
|
JOURNAL OF WEB ENGINEERING |
Ponencia | 2019 |
Towards an approach for applying early testing to smart contracts
|
WEBIST 2019 - Proceedings of the 15th International Conference on Web Information Systems and Technologies |
Artículo | 2015 |
A Strategic Study about Quality Characteristics in e-Health Systems Based on a Systematic Literature Review
|
The Scientific World Journal |
Ponencia | 2015 |
Plataforma para gestión de información de ciudadanos de una SmartCity
|
JARCA 2015: Actas de las XVII Jornadas de ARCA: Sistemas Cualitativos y sus Aplicaciones en Diagnosis, Robótica, Inteligencia Ambiental y Ciudades Inteligentes (2015), pp. 53-56. |
Ponencia | 2015 |
Plataforma para gestión de información de ciudadanos de una SmartCity
|
JARCA 2015: Actas de las XVII Jornadas de ARCA: Sistemas Cualitativos y sus Aplicaciones en Diagnosis, Robótica, Inteligencia Ambiental y Ciudades Inteligentes (2015), pp. 53-56. |
Artículo | 2015 |
Using simulation to aid decision making in managing the usability evaluation process
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Capítulo | 2013 |
NDT-Driver: A Java Tool to Support QVT Transformations for NDT
|
Information Systems Development |
Ponencia | 2012 |
Big Data: Un nuevo problema computacional
|
XIV Jornadas de ARCA.: Sistemas cualitativos y sus aplicaciones en diagnosis, robótica e inteligencia ambiental |
Capítulo | 2012 |
Un sistema de aula virtual que combina sistemas de hipermedia con aplicaciones de videoconferencia
|
Innovaciones docentes en la Universidad de Sevilla, curso 2002-2003: áreas de arte y humanidades, ciencias exactas y naturales, ciencias de la salud e ingeniería y tecnología |
Capítulo | 2011 |
An Approach to the Implementation of Web TV Architecture with Interactive Services
|
XII Jornadas de Arca: Eficiencia Energética y Sostenibilidad en Inteligencia Artificial |
Artículo | 2011 |
An overview on test generation from functional requirements
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2011 |
Semáforos inteligentes, una primera aproximación
|
XIII Jornadas de ARCA.: Sistemas cualitativos y sus aplicaciones en Diagnosis, Robótica e Inteligencia Ambiental |
Ponencia | 2011 |
Studying maintainability on model-driven web methodologies
|
Information Systems Development - Business Systems and Services: Modeling and Development |
Libro | 2011 |
XIII Jornadas de ARCA.: Sistemas cualitativos y sus aplicaciones en Diagnosis, Robótica e Inteligencia Ambiental
|
XIII Jornadas de ARCA.: Sistemas cualitativos y sus aplicaciones en Diagnosis, Robótica e Inteligencia Ambiental |
Ponencia | 2010 |
De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL*
|
Actas de talleres de ingeniería del software y bases de datos |
Ponencia | 2010 |
Sitemaps from a model driven perspective: A first step for bridging the gap between information architecture and navigation design
|
WEBIST 2010 - Proceedings of the 6th International Conference on Web Information Systems and Technology |
Ponencia | 2010 |
Social networks applications: detecting school bulling
|
XI Jornadas de ARCA: Sistemas Cualitativos, diagnosis, robótica, sistemas domóticos y computación ubicua |
Ponencia | 2009 |
An approach for Model-Driven test generation
|
2009 Third International Conference on Research Challenges in Information Science |
Artículo | 2009 |
METAMODELLING AND TRANSFORMING SITEMAPS FOR RECONCILING INFORMATION ARCHITECTURE AND NAVIGATION DESIGN
|
Actas de talleres de ingeniería del software y bases de datos |
Ponencia | 2009 |
Using a dynamic model to simulate the heuristic evaluation of usability
|
HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT II, PROCEEDINGS |
Ponencia | 2008 |
A case study for generating test cases from use cases
|
Proceedings of the 2nd International Conference on Research Challenges in Information Science, RCIS 2008 |
Capítulo | 2008 |
Elaboración de Guías Docentes adaptadas al EEES en la ETS de Ingeniería de la Universidad de Sevilla
|
Innovación educativa en las titulaciones de Informática en la Universidad española |
Capítulo | 2008 |
Estudio de troyanos en dispositivos móviles
|
X Jornadas de ARCA. Sistemas Cualitativos y Diagnosis, Robótica, Sistemas Domóticos y Computación Ubicua |
Ponencia | 2008 |
Generating domain specific aspect code for navigation from platform specific models in MWACSL
|
JISBD 2008: XIII Jornadas de Ingeniería del Software y Bases de Datos (2008) |
Ponencia | 2007 |
An approximation to the features of smart home prediction algorithms
|
IX Jornadas de ARCA.: Sistemas Cualitativos y Diagnosis |
Artículo | 2007 |
An expert system for supervised classifier design: Application to Alzheimer diagnosis
|
EXPERT SYSTEMS WITH APPLICATIONS |
Capítulo | 2007 |
Comparativa y limitaciones de los sistemas de e-learning y m-learning
|
Experiencia de innovación universitaria: curso 2004-2005 |
Ponencia | 2007 |
Derivation of test objectives automatically
|
ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 2 |
Ponencia | 2007 |
El metamodelado de un framework: Spring Web Flow
|
|
Capítulo | 2007 |
Generación automática de objetivos de prueba a partir de casos de uso mediante partición de categorías y variables operacionales
|
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
Artículo | 2007 |
GENERACIÓN E IMPLEMENTACIÓN DE PRUEBAS DEL SISTEMA A PARTIR DE CASOS DE USO
|
REICIS |
Ponencia | 2007 |
Implementación de pruebas del sistema. Un caso práctico
|
Actas de talleres de ingeniería del software y bases de datos |
Ponencia | 2007 |
Improving the adaptation of web applications to different versions of software with MDA
|
CEUR workshop proceedings |
Capítulo | 2007 |
Modelado y simulación del proceso de diseño centrado en el usuario
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Capítulo | 2007 |
Modelado y simulación del proceso de diseño centrado en el usuario
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Ponencia | 2007 |
Practical experiences in Web Engineering
|
ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 2 |
Artículo | 2007 |
The treatment of navigation in Web engineering
|
ADVANCES IN ENGINEERING SOFTWARE |
Artículo | 2007 |
Using Aspect-orientation Techniques to Improve Reuse of Metamodels
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Ponencia | 2006 |
A practical experience with ndt the system to measure the grade of handicap
|
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings |
Ponencia | 2006 |
An approach to generate test cases from use cases
|
ICWE'06: The Sixth International Conference on Web Engineering |
Capítulo | 2006 |
Evolución del aprendizaje semipresencial: del e-learning al m-learning
|
La innovación en la enseñanza superior (I): curso 2003-2004 |
Ponencia | 2006 |
Generating test cases from sequences of use cases
|
WEBIST 2006: Proceedings of the Second International Conference on Web Information Systems and Technologies |
Ponencia | 2006 |
Generation of test cases from functional requirements. A survey
|
4th Workshop on Systems Testing and Validation 2006 (2006), |
Ponencia | 2006 |
Hacia una propuesta de pruebas tempranas del sistema
|
JISBD 2006 : XI Jornadas de Ingeniería del Software y Bases de Datos (2006). |
Ponencia | 2006 |
Modelado y simulación de la evaluación heurística de usabilidad.
|
JISBD 2006: XV Jornadas de Ingeniería del Software y Bases de Datos (2006), pp. 1-10. |
Ponencia | 2006 |
Modelos y algoritmos para la generación de objetivos de prueba
|
JISBD 2006: XV Jornadas de Ingeniería del Software y Bases de Datos (2006) |
Ponencia | 2006 |
On the way: Sistema de predicción de destinos espaciales
|
VIII Jornadas razonamiento cualitativo y aplicaciones. JARCA '06: Razonamiento cualitativo y aplicaciones. Robótica, economía, diagnosis y clasificación |
Ponencia | 2006 |
System test cases from use cases
|
ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1 |
Ponencia | 2005 |
A PRACTICAL APPROACH OF WEB SYSTEM TESTING
|
ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 1 AND 2 |
Ponencia | 2005 |
Analysis of proposals to generation of system test cases from system requisites
|
CEUR workshop proceedings |
Ponencia | 2005 |
Aplicación del razonamiento cualitativo al "Hogar Digital"
|
VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis |
Ponencia | 2005 |
Building web applications with XQuery: Integrating technologies in web development
|
WEBIST 2005 - 1st International Conference on Web Information Systems and Technologies, Proceedings |
Ponencia | 2005 |
Experiencias en entornos de Computación Ubicua mediante Arquitecturas Orientadas a Servicios
|
JSWEB 2005: I Jornadas Científico-Técnicas en Servicios Web (2005), pp. 167-174. |
Ponencia | 2005 |
Hacia la separación de enlaces en sistemas web
|
|
Ponencia | 2005 |
Implicaciones de transformaciones oblicuas en el desarrollo de un framework generador de aplicaciones orientadas a aspectos
|
DSDM'05: [actas del] II taller sobre desarrollo dirigido por modelos. MDA y aplicaciones |
Capítulo | 2005 |
Innovando hacia un entorno educativo global: del eLearning al mLearning
|
Acreditación, certificación en innovación: Actas de las III Jornadas de Calidad en los Servicios Educativos y de Formación |
Ponencia | 2005 |
Modelado y Simulación como herramienta para la mejora de la Usabilidad
|
Interacción 2005: VI Congreso Internacional de Interacción Persona-Ordenador (2005), |
Ponencia | 2005 |
NIDO: Navegación e interacción con el usuario en el desarrollo de sistemas de información Web: Métodos, Técnicas y Herramientas TIC2003-00369
|
Jornada de Seguimiento de Proyectos en Tecnologías Informáticas (jspTIN-2005) (2005) |
Artículo | 2005 |
Semiqualitative Methodology to Reasoning about Dynamic Systems
|
Computación y Sistemas |
Ponencia | 2005 |
Testing web applications in practice
|
WWV 2005: First Workshop on Automated Specification and Verification of Web Sites (2005) |
Ponencia | 2005 |
Towards Interactive Systems Usability Improvement through Simulation Modeling
|
ProSim 2005: 6th international workshop on software process simulation and modeling (2005), pp. 117-125. |
Artículo | 2005 |
UN ENFOQUE DE MODELADO Y SIMULACIÓN PARA LA COMPRENSIÓN DEL PROCESO DE DISEÑO CENTRADO EN EL USUARIO
|
Revista de procesos y métricas de las tecnologías de la información |
Ponencia | 2005 |
Weaving AspectJ aspects by means of transformations
|
|
Artículo | 2004 |
APLICACIÓN DEL MODELADO Y SIMULACIÓN DE SISTEMAS DINÁMICOS AL PROCESO DE DISEÑO CENTRADO EN EL USUARIO
|
CEUR workshop proceedings |
Ponencia | 2004 |
Aplicando técnicas de testing en sistemas para la difusión patrimonial
|
Turitec 2004: V Congreso Nacional Turismo y Tecnologías de la Información y las Comunicaciones |
Ponencia | 2004 |
Comparative analysis of methodological proposes to systematic generation of system test cases from system requisites
|
Systems Testing and Validation (SV´04) en colabroación con 17th International Conference "Software & Systems Engineering and their Applications" (ICSSEA´2004) (2004). |
Artículo | 2004 |
Components + Aspects : A General Overview
|
Revista Colombiana de Computación - RCC |
Ponencia | 2004 |
Developing systems with NDT and NDT-tool
|
Proceedings of the Thirteenth International Conference on Information Systems Development: Advances in Theory, Practice and Education |
Ponencia | 2004 |
Métodos de testing sobre la ingeniería de requisitos web de NDT
|
Actas da conferência IADIS Ibero-Americana WWW/Internet 2004: Madrid, Espanha outubro, 7-8, 2004 |
Ponencia | 2004 |
Modelando aspectos con lenguajes específicos de dominio
|
Segundo Taller de Desarrollo de Software Orientado a Aspectos (DSOA´04) en colaboración con las IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD´04) (2004), pp. 91-97. |
Capítulo | 2004 |
Revisión de Lenguajes Declarativos para la Descripción de Interfaces de Usuario Independientes del Dispositivo
|
Interacción 2004: V Congreso Interación Persona-Ordenador. Lleida, 3-7 de Mayo de 2004 |
Ponencia | 2004 |
Separación de conceptos y MDA: Arquitectura de un framework
|
I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) (2004) |
Ponencia | 2004 |
Simulación del Comportamiento Dinámico de Telas Usando el Método de los Elementos Finitos
|
XIV Congreso Español de Informática Gráfica |
Capítulo | 2004 |
The navigational aspect in the requirement specification of NDT
|
Proceedings of the IADIS International Conference WWW/INTERNET 2004: Madrid, Spain, October 6-9, 2004 |
Ponencia | 2004 |
Towards developing generic solutions with aspects
|
5th Aspect-Oriented Modeling Workshop, AOM-2004 (2004). |
Ponencia | 2003 |
A new localization system for autonomous robots
|
IEEE International Conference on Robotics and Automation ICRA |
Capítulo | 2003 |
Aplicación de sistemas hipermedia al desarrollo de clases virtuales y semipresenciales
|
Innovaciones docentes en la Universidad de Sevilla, curso 2001-2002: áreas de arte y humanidades, ciencias exactas y naturales, ciencias de la salud e ingeniera y tecnología |
Ponencia | 2003 |
Concerns vs components for web development
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Capítulo | 2003 |
El proceso de desarrollo de NDT
|
II Taller de Ingeniería del Software Orientada al Web (Web Engineering) |
Ponencia | 2003 |
El Tesauro de Patrimonio Histórico de Andalucía
|
IV Jornadas de Bibliotecas Digitales: JBIDI |
Artículo | 2003 |
INTERACTIONS AMONG DYNAMIC SETS OF OBJECTS
|
Requirements Engineering |
Artículo | 2003 |
NDT-Tool: A case tool to deal with requirements in web information systems
|
WEB ENGINEERING, PROCEEDINGS |
Ponencia | 2003 |
Revisiting requirements in web modelling languages
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Artículo | 2003 |
The NDT development process
|
WEB ENGINEERING, PROCEEDINGS |
Ponencia | 2003 |
Una experiencia práctica reutilizando aspectos
|
Taller de Trabajo de Desarrollo de Software Orientado a Aspectos DSOA-JISBD 2003 (2003). |
Artículo | 2003 |
UTILIZACIÓN DE NDT Y DE LAS TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES PARA LA GENERACIÓN DE ITINERARIOS CULTURALES.
|
Computación y Sistemas |
Artículo | 2002 |
A semiquantitative approach to study semiqualitative systems
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Artículo | 2002 |
Analysing the navegational aspect
|
Forschungsbericht. Institut für Informatik III |
Artículo | 2002 |
DEFINICIÓN DE ACTORES EN SISTEMAS DE GESTIÓN DE PATRIMONIO HISTÓRICO
|
Revista PH. Boletín del Instituto Andaluz del Patrimonio Histórico |
Ponencia | 2002 |
Estrategia para la realización de proyectos de desarrollo de software en sistemas de información global
|
Comunicaciones presentadas al VI Congreso Internacional de Proyectos de Ingeniería: celebrado en Barcelona del 23 al 25 de Octubre de 2002 |
Ponencia | 2002 |
La navegación y la separación de conceptos
|
II Jornadas de trabajo DOLMEN (Distributed Objects, Languages, Models and Environments) (2002), pp. 187-196. |
Artículo | 2002 |
METHODOLOGIES TO DEVELOP WEB INFORMATION SYSTEMS AND COMPARATIVE ANALYSIS
|
Upgrade (English Edition) |
Artículo | 2002 |
METODOLOGÍAS DE DESARROLLO DE SISTEMAS DE INFORMACIÓN EN LA WEB Y ANÁLISIS COMPARATIVO.
|
Novática |
Ponencia | 2002 |
Patrones de diseño en un Sistema Multimedia para la Educación
|
III Jornadas de trabajo DOLMEN (Distributed Objects, Languages, Models and Enviroments) (2002). |
Artículo | 2002 |
Qualitative comparison of temporal series. QSI
|
TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Ponencia | 2002 |
Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales
|
IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002). |
Artículo | 2002 |
Requirements capture workflow in global information systems
|
OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS |
Ponencia | 2002 |
Separating the navigational aspect
|
22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS |
Ponencia | 2001 |
Aplicación de la programación con restricciones a la elaboración automática de itinerarios culturales en Andalucía
|
TuriTec 2001: turismo y tecnologías de la información y las comunicaciones |
Artículo | 2001 |
Aplicación de las nuevas tecnologías: docencia interactiva
|
Revista de Enseñanza Universitaria |
Artículo | 2001 |
INTERACCIÓN PROFESOR-ALUMNO: UTILIZACIÓN DE LAS NUEVAS TECNOLOGÍAS
|
Revista de Enseñanza Universitaria |
Ponencia | 2001 |
Requisitos de almacenamiento de información e identificación de actores para una biblioteca digital de bienes muebles
|
JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real) |
Ponencia | 2001 |
Sistema de consulta vía Web para el Instituto Andaluz de Patrimonio Histórico
|
JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real) |
Capítulo | 2000 |
Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico
|
TuriTec 2000: turismo y tecnologías de la información y comunicaciones: nuevas tecnologías y patrimonio |
Artículo | 2000 |
Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico
|
Estudios Turísticos |
Ponencia | 2000 |
Aplicación integrada de la Biblioteca Digital del Patrimonio Histórico Andaluz
|
JBIDI 2000 : primeras Jornadas de bibliotecas digitales, 6 y 7 de noviembre, Valladolid |
Capítulo | 2000 |
Aproximación metodológica al desarrollo de sistemas para el tratamiento de bibliotecas digitales
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Ponencia | 2000 |
Diseño del modelo navegacional para sistemas de bibliotecas digitales
|
JBIDI 2000 : primeras Jornadas de bibliotecas digitales, 6 y 7 de noviembre, Valladolid |
Artículo | 2000 |
EXTENSIONES AL SISTEMA DE CLASIFICACIÓN UML
|
Computación y Sistemas |
Artículo | 2000 |
Implementing associations among classes in an environment of active databases
|
PROGRAMMING AND COMPUTER SOFTWARE |
Capítulo | 2000 |
Using constraint programming framework for Semiqualitative Reasoning
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Capítulo | 1999 |
Especialización en el ámbito del modelado conceptual
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Ponencia | 1999 |
Especialización en el ámbito del modelo conceptual
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Ponencia | 1999 |
Object Oriented Specification based on Restrictions: Participation and Interaction
|
CSCC 1999: 3rd World Multiconference on Circuits, Systems, Communications and Computers (IEEE/WSES/IMACS) (1999), pp. 6441-6445. |
Capítulo | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Ponencia | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Artículo | 1999 |
SPECIFYING INTERACTIONS AMONG OBJECTS THROUGH CONSTRAINTS
|
Computación y Sistemas |
Artículo | 1996 |
Especificaciones Orientadas a Objetos Basadas en Restricciones
|
I Jornadas de Trabajo de Ingeniería del Software |
Ponencia | 1996 |
Operadores de asociación y agregación de clases en un lenguaje de especificación OO
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Ponencia | 1995 |
A technique for distributed systems specification
|
Proceedings - Euromicro Workshop on Parallel and Distributed Processing |
Artículo | 1995 |
Software Quality Through Formal OO Specification
|
Transactions on Information and Communications Technologies |
Artículo | 1994 |
Desde el lenguaje de especificación orientado a objetos Tesoro y Lotos.
|
Informatica y Automatica |
Ponencia | 1994 |
Especificación orientada a objetos desde un enfoque algebraico
|
GULP-PRODE´94 (1994), pp. 450-451. |