Miguel Toro

Alejandro Fernández-Montes

Inf. Fusion, 2020

Problem Generalization for Designing Recursive Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on EUropean Transnational Educational, 2020

2019

TAPON: A two-phase machine learning approach for semantic labelling.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2019

TAPON-MT: A versatile framework for semantic labelling.

[BibT_eX]

[DOI]

Inf. Syst., 2019

Visual ppinot: A Graphical Notation for Process Performance Indicators.

[BibT_eX]

[DOI]

Bus. Inf. Syst. Eng., 2019

2018

SCORE: Simulator for cloud optimization of resources and energy consumption.

[BibT_eX]

[DOI]

Damián Fernández-Cerero

Agnieszka Jakobik

Joanna Kolodziej

Alfonso E. Márquez Chamorro

Simul. Model. Pract. Theory, 2018

2017

Edge and Cloud Pricing for the Sharing Economy.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2017

Run-time prediction of business process indicators using evolutionary decision rules.

[BibT_eX]

[DOI]

Manuel Resinas

José Miguel Cañete Valdeón

Expert Syst. Appl., 2017

Automated Analysis of Cloud Offerings for Optimal Service Provisioning.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016

Defeasible Argumentation of Software Architectures.

[BibT_eX]

[DOI]

José Miguel Cañete Valdeón

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

2009

The intentional relationship of representation between the constructs of a language and reality.

[BibT_eX]

[DOI]

Francisco J. Galán

Data Knowl. Eng., 2009

Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando Simulación.

[BibT_eX]

Elena Orta

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment.

[BibT_eX]

[DOI]

Javier Navascués

Proceedings of the Trustworthy Software Development Processes, 2009

Dealing with Fixable and Non-fixable Properties in Service Matchmaking.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Analyzing Strategic Business Rules through Simulation Modeling.

[BibT_eX]

[DOI]

Elena Orta

Proceedings of the Software Services for e-Business and e-Society, 2009

A System Dynamics Approach to Web Service Capacity Management.

[BibT_eX]

[DOI]

Elena Orta

Francisco José García-Peñalvo

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008

Automated error analysis for the agilization of feature modeling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

An association rule mining method for estimating the impact of project management policies on software quality, development time and effort.

[BibT_eX]

[DOI]

María N. Moreno García

Isabel Ramos Román

Antonia M. Reina Quintero

Expert Syst. Appl., 2008

Generating Domain Specific Aspect Code for Navigation from Platform Specific Models in MWACSL.

[BibT_eX]

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

Aplicación de las Técnicas de Modelado y Simulación en la Gestión de la Capacidad de los Servicios TI.

[BibT_eX]

Elena Orta Cuevas

Mercedes Ruiz Carreira

Antonia M. Reina Quintero

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

2007

From Wrapping to Knowledge.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2007

Improving the Adaptation of Web Applications to Different Versions of Software with MDA.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Adaptation and Evolution in Web Systems Engineering AEWSE'07, 2007

2005

Correction: An integrated framework for simulation-based Software Process Improvement.

[BibT_eX]

[DOI]

Juan Antonio Ortega-Ramírez

Softw. Process. Improv. Pract., 2005

Improving the Automatic Procurement of Web Services Using Constraint Programming.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos.

[BibT_eX]

[DOI]

Rafael Martinez Gasca

Francisco Velasco Morente

Luis González Abril

Cecilio Angulo Bahón

Computación y Sistemas, 2005

2004

An integrated framework for simulation-based software process improvement.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 2004

An order-based algorithm for implementing multiparty synchronization.

[BibT_eX]

[DOI]

José Antonio Pérez

Concurr. Pract. Exp., 2004

Using Dynamic Modeling and Simulation to Improve the COTS Software Process.

[BibT_eX]

[DOI]

Proceedings of the Product Focused Software Process Improvement, 2004

A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

2003

Evolutionary learning of hierarchical decision rules.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2003

Interactions among dynamic sets of objects.

[BibT_eX]

[DOI]

Requir. Eng., 2003

Finding representative patterns with ordered projections.

[BibT_eX]

[DOI]

Pattern Recognit., 2003

Fairness in systems based on multiparty interactions.

[BibT_eX]

[DOI]

David Ruiz

Concurr. Comput. Pract. Exp., 2003

A Framework for classifying and comparing Web services procurement platforms.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Web Information Systems Engineering Workshops, 2003

A Knowledge Extraction Process Specification for Today's Non-Semantic Web.

[BibT_eX]

[DOI]

José Luis Arjona

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

A Quality-Aware Approach to Web Services Procurement.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

On Selecting and Scheduling Assembly Plans Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas.

[BibT_eX]

Beatriz Bernárdez

Amador Durán

Antonia M. Reina Quintero

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

A Genetic Algorithm for Assembly Sequence Planning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003

Automating the Procurement of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

Concerns vs Components for Web Development.

[BibT_eX]

Juan Antonio Álvarez

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Knowledge Channels. Bringing the Knowledge on the Web to Software Agents.

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002

Repairing syntax errors in LR parsers.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2002

A Dynamic Integrated Framework for Software Process Improvement.

[BibT_eX]

[DOI]

Softw. Qual. J., 2002

Verifying software requirements with XSLT.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2002

A Framework for Semiqualitative Reasoning in Engineering Applications.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2002

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER02, 2002

An enablement detection algorithm for open multiparty interactions.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Supporting Requirements Verification Using XSLT.

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Integrating Dynamic Models for CMM-Based Software Process Improvement.

[BibT_eX]

[DOI]

Proceedings of the Product Focused Software Process Improvement, 2002

Propuesta de un Profile de Aspectos en UML.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Assisting the Requirements Verifier with XML Technology.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Diagnosis de Software usando técnicas Max-CSP.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Marco Dinámico Integrado para la Mejora de los Procesos Software.

[BibT_eX]

Mercedes Ruiz Carreira

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.

[BibT_eX]

[DOI]

Carmelo Del Valle

Rafael Ceballos

Proceedings of the Advances in Artificial Intelligence, 2002

A Semiquantitative Approach to Study Semiqualitative Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

Max-CSP Approach for Software Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Qualitative Comparison of Temporal Series. QSI.

[BibT_eX]

[DOI]

Francisco Javier Cuberos

Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002

A Practical Agent-Based Method to Extract Semantic Information from the Web.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Automatic Extraction of Semantically-Meaningful Information from the Web..

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

A simplified model of software project dynamics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2001

An evolutionary and local search algorithm for motion planning of two manipulators.

[BibT_eX]

[DOI]

J. Field Robotics, 2001

An evolutionary approach to estimating software development projects.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Data set Editing by Ordered Projection.

[BibT_eX]

[DOI]

Intell. Data Anal., 2001

Comparación Cualitativa de Series Temporales. Índice Cualitativo de Similitud - QSI.

[BibT_eX]

[DOI]

Francisco Javier Cuberos

Computación y Sistemas, 2001

An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas.

[BibT_eX]

[DOI]

Computación y Sistemas, 2001

Diagnosis basada en modelos polinomicos usando tecnicas simbolicas.

[BibT_eX]

[DOI]

Inteligencia Artif., 2001

Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER01, 2001

An XMLBased Approach for the Automatic Verification of Software Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER01, 2001

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software.

[BibT_eX]

Francisco J. Ferrer-Troyano

Mercedes Ruiz Carreira

Daniel Rodríguez-García

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

JReplica: Modelo de replicación transparente e independiente del ORB.

[BibT_eX]

José Luis Herrero

Fernando Sánchez

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB.

[BibT_eX]

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Orientando a Aspectos la captura de datos de Internet para activar Reglas de Decisión en Agentes Web.

[BibT_eX]

José Luis Arjona

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Fault Tolerance as an Aspect Using Jreplica.

[BibT_eX]

[DOI]

Fernando Sánchez

José Luis Herrero

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Automated Support for Quality Requirements in Web-Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

A Framework for Aspect-Oriented Multiparty Coordination.

[BibT_eX]

[DOI]

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Mejora de los procesos software utilizando simulacion e integracion de tecnicas.

[BibT_eX]

[DOI]

Proceedings of the ADIS 2001, Apoyo a la Decisión en Ingeniería del Software, 2001

Una Aproximación a la Evaluación Automática de Alternativas de Diseño.

[BibT_eX]

[DOI]

Octavio Martín-Díaz

Proceedings of the ADIS 2001, Apoyo a la Decisión en Ingeniería del Software, 2001

2000

A Multiparty Coordination Aspect Language.

[BibT_eX]

[DOI]

José Antonio Pérez

ACM SIGPLAN Notices, 2000

Implementing associations among classes in an environment of active databases.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2000

Discovering hierarchical decision rules with evolutive algorithms in supervised learning.

[BibT_eX]

[DOI]

Int. J. Comput. Syst. Signals, 2000

Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion.

[BibT_eX]

[DOI]

Inteligencia Artif., 2000

Obtención de patrones de Comportamiento de Modelos Semicualitativos.

[BibT_eX]

[DOI]

Inteligencia Artif., 2000

Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos.

[BibT_eX]

[DOI]

José Miguel Cañete Valdeón

Inteligencia Artif., 2000

Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER00, 2000

Primeros Pasos hacia un Compilador de UML/OCL.

[BibT_eX]

Francisco José Galán Morillo

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico.

[BibT_eX]

Joaquín Peña

Francisco J. Ferrer-Troyano

Beatriz Bernárdez Jiménez

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Eficiencia o adaptabilidad: Factores de calidad.

[BibT_eX]

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

A Requirements Elicitation Approach Based in Templates and Patterns.

[BibT_eX]

[DOI]

Amador Durán Toro

Beatriz Bernárdez Jiménez

Proceedings of the Anais do WER99, 1999

Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos.

[BibT_eX]

Amador Durán Toro

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Semántica formal de asociaciones y agregados para su implementación con reglas activas.

[BibT_eX]

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Three Geometric Approaches for representing Decision Rules in a Supervised Learning System.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Implementing Multiparty Interactions on a Network Computer.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado.

[BibT_eX]

[DOI]

Inteligencia Artif., 1998

Elementary Tree Representation.

[BibT_eX]

Víctor J. Díaz

Vicente Carrillo

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

An Evolutionary and Local Search Algorithm for Planning Two Manipulators Motion.

[BibT_eX]

[DOI]

Miguel A. Ridao

Eduardo F. Camacho

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Including Qualitative Knowledge in Semiqualitative Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Automatic Semiqualitative Analysis: Application to a Biometallurgical System.

[BibT_eX]

[DOI]

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

A Review of Early-Based Parser for TIG.

[BibT_eX]

[DOI]

Víctor J. Díaz

Vicente Carrillo

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

A Tool to Obtain a Hierarchical Qualitative Rules form Quantitative Data.

[BibT_eX]

[DOI]

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes.

[BibT_eX]

[DOI]

Francisco José Galán Morillo

Proceedings of the Progress in Artificial Intelligence, 1998

Object Oriented Software Systems Defined by Constructive Logical Methods.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Especificaión formal y prototipado de un gestor básico de bases de datos relacionales.

[BibT_eX]

Amador Durán

Proceedings of the II Jornadas de Investigación y Docencia en Bases de Datos, 1997

Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997

Parsing TAGs with Prolog.

[BibT_eX]

Víctor J. Díaz Madrigal

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z.

[BibT_eX]

Amador Durán

Carlos Arévalo Maldonado

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

1995

A technique for distributed systems specification.

[BibT_eX]

[DOI]

José A. Troyano

Francisco José Galán Morillo

Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995

Sintesis de Programas Logicos: Marco Constructivo.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Especificacion orientada a objetos desde un enfoque algebraico.

[BibT_eX]

José A. Troyano