Data

NameToro Bonilla, Miguel
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryCatedrático de Universidad
E-mailRequest
           

  Statistics

  • Items

    129

  • Visits

    13311

  • Downloads

    17412

  Publications

 

Article
Icon

TAPON-MT: a versatile framework for semantic labelling

Ayala Hernández, Daniel; Hernández Salmerón, Inmaculada Concepción; Ruiz Cortés, David; Toro Bonilla, Miguel (Elsevier, 2019-07-01)
Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ...
Article
Icon

TAPON: a two-phase machine learning approach for semantic labelling

Ruiz Cortés, David; Ayala Hernández, Daniel; Hernández Salmerón, Inmaculada Concepción; Ruiz Cortés, David; Toro Bonilla, Miguel (Elsevier, 2019-01-01)
Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ...
Article
Icon

SCORE: Simulator for cloud optimization of resources andenergy consumption

Fernández Cerero, Damián; Fernández-Montes González, Alejandro; Jakóbik, Agnieszka; Kołodziej, Joanna; Toro Bonilla, Miguel (Elsevier, 2018-01-01)
Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ...
Presentation
Icon

Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo

Troyano Jiménez, José Antonio; Cruz Mata, Fermín; González Romano, José Mariano; García Vallejo, Carlos Antonio; Toro Bonilla, Miguel (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018-01-01)
En este trabajo presentamos una experiencia docente, y el recurso docente correspondiente, que hemos seguido durante el ...
Article
Icon

Edge and Cloud Pricing for the Sharing Economy

García Rodríguez, José María; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Dustdar, Schahram; Toro Bonilla, Miguel (IEEE Computer Society, 2017-01-01)
As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...
Presentation
Icon

Automated Analysis of Cloud Offerings for Optimal Service Provisioning

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017-01-01)
Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...
Article
Icon

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017-01-01)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...
Article
Icon

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

Márquez Chamorro, Alfonso Eduardo; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2017-01-01)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...
Presentation
Icon

Defeasible Argumentation of Software Architectures

Cañete Valdeón, José Miguel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (IEEE Computer Society, 2016-01-01)
Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...
PhD Thesis
Icon

Separación avanzada de conceptos en entornos WEB

Torres Valderrama, Jesús; Toro Bonilla, Miguel; Reina Quintero, Antonia María (2011-01-01)
En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ...
Article
Icon

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

Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Elsevier, 2009-01-01)
Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ...
Presentation
Icon

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

Navascués, Javier; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2009-01-01)
This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ...
Presentation
Icon

Analyzing Strategic Business Rules through Simulation Modeling

Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (IFIP: International Federation for Information Processing, 2009-01-01)
Service Oriented Architecture (SOA) holds promise for business agility since it allows business process to change to meet ...
Presentation
Icon

Dealing with Fixable and Non-fixable Properties in Service Matchmaking

Martín Díaz, Octavio; Ruiz Cortés, Antonio; García Rodríguez, José María; Toro Bonilla, Miguel (Springer, 2009-01-01)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...
Presentation
Icon

A System Dynamics Approach to Web Service Capacity Management

Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (IEEE Computer Society, 2009-01-01)
This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ...
Presentation
Icon

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

Orta, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009-01-01)
Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ...
Presentation
Icon

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

Orta, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009-01-01)
Las técnicas de modelado y simulación ofrecen la posibilidad de experimentar diferentes decisiones y analizar sus resultados ...
Article
Icon

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

Moreno García, María N.; Ramos Román, Isabel; García Peñalvo, Francisco J.; Toro Bonilla, Miguel (Elsevier, 2008-01-01)
Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...
Article
Icon

Automated Error Analysis for the Agilization of Feature Modeling

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008-01-01)
Presentation
Icon

Generating domain specific aspect code for navigation from platform specific models in MWACSL

Reina Quintero, Antonia María; Toro Bonilla, Miguel; Torres Valderrama, Jesús (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2008-01-01)
MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ...
Presentation
Icon

Hacia un modelo híbrido de simulación de la producción de software en un entorno multiproyecto

Navascués Fernández-Victorio, Javier; Ramos Román, Isabel; Toro Bonilla, Miguel (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008-01-01)
La simulación del ciclo de vida de los proyectos software o de partes de éste es un activo campo de investigación en la ...
Article
Icon

From Wrapping to Knowledge

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (IEEE Computer Society, 2007-01-01)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ...
Presentation
Icon

Improving the adaptation of web applications to different versions of software with MDA

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (CEUR-WS, 2007-01-01)
The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ...
Presentation
Icon

Explanations for Agile Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Toro Bonilla, Miguel (2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Presentation
Icon

Modular Software Process Simulation Models Through Metamodeling

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (World Scientific and Engineering Academy and Society, 2006-01-01)
In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ...
Presentation
Icon

Hacia lenguajes de metamodelado orientados a aspectos

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2006-01-01)
En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ...
Chapter of Book
Icon

Software Process Dynamics: Modeling, Simulation and Improvement

Acuña, Silvia T.; Sánchez Segura, María I.; Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (World Scientific, 2006-01-01)
The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ...
Article
Icon

Metodología semicualitativa para razonar sobre sistemas dinámicos

Torres Valderrama, Jesús; Ortega Ramírez, Juan Antonio; González Abril, Luis; Toro Bonilla, Miguel; Martínez Gasca, Rafael; Angulo, Cecilio; Velasco Morente, Francisco (2005-01-01)
Article
Icon

Improving the Automatic Procurement of Web Services Using Constraint Programming

Ruiz Cortés, Antonio; Martín Díaz, Octavio; Durán Toro, Amador; Toro Bonilla, Miguel (World Scientific Publishing, 2005-01-01)
Presentation
Icon

A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data

Aguilar, Jesús; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Springer, 2005-01-01)
A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ...
Article
Icon

Combining Heuristics in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005-01-01)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
Presentation
Icon

Using Dynamic Modeling and Simulation to Improve the COTS Software Process

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2004-01-01)
In the last several years, software industry has undergone a significant transition to the use of existing component ...
Article
Icon

An Integrated Framework for Simulation-based Software Process Improvement

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Wiley, 2004-01-01)
In this paper we present an integrated framework for software process improvement according to CMM. The framework is ...
Presentation
Icon

Separación de conceptos y MDA: Arquitectura de un framework

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Álvarez García, Juan Antonio (2004-01-01)
Presentation
Icon

Towards developing generic solutions with aspects

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2004-01-01)
Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ...
Article
Icon

An order-based algorithm for implementing multiparty synchronization

Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2004-01-01)
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ...
Presentation
Icon

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

Bernárdez Jiménez, Beatriz; Genero Bocco, Marcela; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2004-01-01)
Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...
PhD Thesis
Icon

Métodos para descubrir conocimientos en los datos

Toro Bonilla, Miguel; Serendero Sáez, Santiago Patricio (2004-01-01)
Presentation
Icon

Interval model-based diagnosis using constraint programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (IEEE Computer Society, 2004-01-01)
Presentation
Icon

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Valle Sevillano, Carmelo del; Márquez, Antonio A.; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 2003-01-01)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Article
Icon

Automating the Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Article
Icon

Finding representative patterns withordered projections

Riquelme Santos, José Cristóbal; Aguilar Ruiz, Jesús Salvador; Toro Bonilla, Miguel (Elsevier, 2003-01-01)
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...
Article
Icon

Evolutionary Learning of Hierarchical Decision Rules

Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (IEEE, 2003-01-01)
This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ...
Article
Icon

A Quality-Aware Approach to Web Services Procurement

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Presentation
Icon

Una experiencia práctica reutilizando aspectos

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Álvarez García, Juan Antonio; Nieto, J. M. (2003-01-01)
Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ...
Article
Icon

Fairness in systems based on multiparty interactions

Ruiz Cortés, David; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2003-01-01)
In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...
Article
Icon

Interactions among dynamic sets of objects

Torres Valderrama, Jesús; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 2003-01-01)
In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ...
Presentation
Icon

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

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, David; Peña Siles, Joaquín; Toro Bonilla, Miguel (CEUR-WS, 2003-01-01)
In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with ...
Presentation
Icon

A Knowledge Extraction Process Specification for Today’s non-semantic Web

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2003-01-01)
The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ...
Presentation
Icon

A Framework For Classifying and Comparing Web Services Procurement Platforms

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2003-01-01)
The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...
Presentation
Icon

Concerns vs components for web development

Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Álvarez García, Juan Antonio (IADIS : International Association for Development of the Information Society, 2003-01-01)
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be ...
Presentation
Icon

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

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Toro Bonilla, Miguel (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2003-01-01)
En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ...
Presentation
Icon

A Genetic Algorithm for Assembly Sequence Planning

Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003-01-01)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
PhD Thesis
IconIcon

Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS

Corchuelo Gil, Rafael; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (2002-09-23)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...
Article
Icon

Repairing Syntax Errors in LR Parsers

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (ACM, 2002-01-01)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002-01-01)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Presentation
Icon

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

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002-01-01)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...
Presentation
Icon

Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2002-01-01)
Article
Icon

A Dynamic Integrated Framework for Software Process Improvement

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2002-01-01)
Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ...
Presentation
Icon

Integrating Dynamic Models for CMM-Based Software Process Improvement

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2002-01-01)
During the last decade software process simulation has been used to address a wide diversity of management problems. Some ...
Presentation
Icon

Qualitative Comparison of Temporal Series. QSI

Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002-01-01)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...
Presentation
Icon

Marco dinámico integrado para la mejora de los procesos software

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Universidad Politécnica de Madrid, 2002-01-01)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...
Presentation
Icon

Applying XML technologies in Requirements Verification

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Presentation
Icon

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions

Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (Springer, 2002-01-01)
Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ...
Article
Icon

Verifying Software Requirements with XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (ACM, 2002-01-01)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ...
Presentation
Icon

Supporting Requirements Verification Using XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2002-01-01)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...
Presentation
Icon

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

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Ceballos Guerrero, Rafael; Aguilar, Jesús (Springer, 2002-01-01)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
Presentation
Icon

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

Ruiz Cortés, David; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Springer, 2002-01-01)
Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ...
Presentation
Icon

A Semiquantitative Approach to Study Semiqualitative Systems

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús (Springer, 2002-01-01)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
Article
Icon

A framework for semiqualitative reasoning in engineering applications

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Taylor and Francis, 2002-01-01)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...
Presentation
Icon

An Enablement Detection Algorithm for Open Multiparty Interactions

Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (ACM Digital Library, 2002-01-01)
Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ...
Presentation
Icon

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

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...
Presentation
Icon

Automatic Extraction of Semantically-Meaningful Information from the Web.

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...
Presentation
Icon

A model for assembly sequence planning in a multirobot environment

Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel (Elsevier, 2002-01-01)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Presentation
Icon

Improving software process maturity through dynamic modeling and simulation

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Asociación de los profesionales de la Dirección e Ingeniería de Proyectos de España (AEIPRO), 2002-01-01)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...
Presentation
Icon

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 2001-01-01)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...
Presentation
Icon

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

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (CEUR-WS, 2001-01-01)
La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...
Presentation
Icon

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

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (2001-01-01)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...
Presentation
Icon

An XML-Based Approach for the Automatic Verification of Software Requirements Specifications

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Article
Icon

A simplified model of software project dynamics

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Elsevier, 2001-01-01)
The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ...
Article
Icon

An evolutionary approach to estimating software development projects

Aguilar Ruiz, Jesús Salvador; Ramos Román, Isabel; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Elsevier, 2001-01-01)
The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ...
Article
Icon

An object-oriented approach for learning of algorithm design with sequential devices and schemas

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (2001-01-01)
Article
Icon

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

Ridao Carlini, Miguel Ángel; Camacho, Eduardo F.; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Wiley, 2001-01-01)
A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ...
Presentation
Icon

Fault Tolerance as an aspect using JReplica

Herrero, José Luis; Sánchez, Fernando; Toro Bonilla, Miguel (IEEE Computer Society, 2001-01-01)
Reliability and availability are very important trends in the development process of distributed systems. In order to ...
Article
Icon

Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI

Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Centro de Investigación en Computación IPN, 2001-01-01)
PhD Thesis
PhD Thesis
Icon

Algoritmos heurísticos para la selección de secuencias óptimas de ensamblaje

Toro Bonilla, Miguel; Camacho, Eduardo F.; Valle Sevillano, Carmelo del (2001-01-01)
Presentation
Icon

Automated Support for Quality Requirements in Web–Service–Based Systems

Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2001-01-01)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...
Presentation
Icon

a framework for aspect–oriented multiparty coordination

Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (Springer, 2001-01-01)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ...
Article
Icon

Data Set Editing by Ordered Projection

Aguilar, Jesús S.; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (IOS Press, 2001-01-01)
This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ...
Presentation
Icon

Mejora de los procesos software utilizando simulacion e integracion de tecnicas

Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (CEUR-WS.Org, 2001-01-01)
Article
Icon

Diagnosis basada en modelos polinómicos usando técnicas simbólicas

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2001-01-01)
La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...
Presentation
Icon

SEGESOFT: un entorno de entrenamiento para la gestión de proyectos software

Riquelme Santos, José Cristóbal; Ramos Román, Isabel; Aguilar, Jesús; Ferrer Troyano, Francisco Javier; Toro Bonilla, Miguel; Dolado, J.; Ruiz de Infante, A.; Tuya, J.; Fernández, P.; Prieto, M.A.; Ruiz Carreira, Mercedes; Rodríguez García, D.; Satpathy, M.; Harrison, R.; Matilla, R.; Álvarez, M.A. (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2001-01-01)
La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...
Presentation
Icon

An Automated Approach for Verification of Software Requirements

Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001-01-01)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
Presentation
Icon

Integración de información en un entorno de entrenamiento para la gestión de proyectos software

Ramos Román, Isabel; Riquelme Santos, José Cristóbal; Aguilar, J.; Ferrer Troyano, Francisco Javier; Toro Bonilla, Miguel; Tuya, J.; Fernández, P.; Prieto, M.A.; Ruiz Carreira, Mercedes; Rodríguez García, D.; Satpathy, M.; Harrison, R.; Ruiz de Infante, A.; Matilla, R.; Álvarez, M.A. (Asociación de Técnicos de Informática (ATI), 2001-01-01)
La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...
PhD Thesis
Icon

Un entorno metodológico de ingeniería de requisitos para sistemas de información

Toro Bonilla, Miguel; Durán Toro, Amador (2000-09-19)
En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...
Article
Icon

Extensiones al sistema de clasificación UML

Mejías Risoto, Manuel; Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2000-01-01)
Presentation
Icon

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

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2000-01-01)
PhD Thesis
Icon

Patrones de comportamiento temporal en modelos semicualitativos con restricciones

Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio (2000-01-01)
En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ...
PhD Thesis
Icon

Gramáticas de adjunción de árboles un enfoque deductivo en el análisis sintáctico

Toro Bonilla, Miguel; Díaz Madrigal, Víctor Jesús (2000-01-01)
Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ...
Article
Icon

Implementing Associations among Classes in an Environment of Active Databases

Torres Valderrama, Jesús; Martín Díaz, Octavio; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel (MAIK Nauka/lnterperiodica, 2000-01-01)
The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ...
Article
Icon

Discovering hierarchical decision rules with evolutive algorithms in supervised learning

Riquelme Santos, José Cristóbal; Aguilar, Jesús S.; Toro Bonilla, Miguel (2000-01-01)
This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ...
Article
Icon

A Multiparty Coordination Aspect Language

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (ACM Digital Library, 2000-01-01)
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ...
Article
Icon

Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2000-01-01)
Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...
Article
Icon

Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos

Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael (Iberamia, 2000-01-01)
Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...
Article
Icon

Obtención de patrones de comportamiento de modelos semicualitativos

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2000-01-01)
En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...
Presentation
Icon

An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System

Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Durán Toro, Amador; Toro Bonilla, Miguel (Institut national de recherche en sciences et technologies du numérique (INRIA), 2000-01-01)
Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
Article
Icon

A generic natural language interface for task planning : application to a mobile robot

González Romano, José Mariano; Camacho, Eduardo F.; Gómez Ortega, Juan; Toro Bonilla, Miguel (Elsevier, 2000-01-01)
This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ...
Report
Icon

Modelo dinámico reducido v.1: Informe Técnico LSI-2000-12

Ramos Román, Isabel; Toro Bonilla, Miguel; Ruiz Carreira, Mercedes (2000-01-01)
Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ...
Presentation
Icon

A Requirements Elicitation Approach Based in Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (1999-01-01)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...
Presentation
Icon

Implementing Multiparty Interactions on a Network Computer

Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (IEEE Computer Society, 1999-01-01)
Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...
Article
Icon

Specifying interactions among objects through constraints

Torres Valderrama, Jesús; Toro Bonilla, Miguel; Troyano Jiménez, José Antonio (1999-01-01)
PhD Thesis
Icon

Un nuevo enfoque en la gestión de proyectos de desarrollo de software

Toro Bonilla, Miguel; Aracil Santonja, Javier; Ramos Román, Isabel (1999-01-01)
PhD Thesis
Icon

Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO

Toro Bonilla, Miguel; Corchuelo Gil, Rafael (1999-01-01)
Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ...
Presentation
Icon

Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Pérez Castellanos, José Antonio (WSEAS, 1999-01-01)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...
Presentation
Icon

Object Oriented Specification based on Restrictions: Participation and Interaction

Torres Valderrama, Jesús; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Durán Toro, Amador (WSES-Press Editions, 1999-01-01)
We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ...
Chapter of Book
Icon

Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes

Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (1998-01-01)
This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ...
PhD Thesis
Icon

Razonamiento y simulación en sistemas que integran conocimiento cualitativo y cuantitativo

Toro Bonilla, Miguel; Martínez Gasca, Rafael (1998-01-01)
Presentation
Icon

Automatic Semiqualitative Analysis: Application to a Biometallurgical System

Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 1998-01-01)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...
Presentation
Icon

Including Qualitative Knowledge in Semiqualitative Dynamical Systems

Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 1998-01-01)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...
PhD Thesis
Icon

Herencia y clasificación en un lenguaje de especificación orientado a objetos

Toro Bonilla, Miguel; Troyano Jiménez, José Antonio (1998-01-01)
Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ...
Presentation
Icon

A Review of Earley-Based Parser for TIG

Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Toro Bonilla, Miguel (Springer, 1998-01-01)
Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ...
Article
Icon

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

Riquelme Santos, José Cristóbal; Aguilar, Jesús; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 1998-01-01)
Presentation
Icon

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

Riquelme Santos, José Cristóbal; Ridao Carlini, Miguel Ángel; Camacho, Eduardo F.; Toro Bonilla, Miguel (Springer Nature, 1998-01-01)
A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ...
PhD Thesis
Icon

Aplicación del lenguaje natural a la adquisición de conocimientos y operación de sistemas complejos

Camacho, Eduardo F.; Toro Bonilla, Miguel; González Romano, José Mariano (1997-01-01)
PhD Thesis
PhD Thesis
Article
Icon

Software Quality Through Formal OO Specification

Torres Valderrama, Jesús; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel (WITPress, 1995-01-01)
Presentation
Icon

A Technique for Distributed Systems Specification

Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (IEEE Computer Society, 1995-01-01)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ...