idUS - Perfil del autor: Toro Bonilla, Miguel

Nombre	Toro Bonilla, Miguel
Departamento	Lenguajes y Sistemas Informáticos
Área de conocimiento	Lenguajes y Sistemas Informáticos
Categoría profesional	Catedrático de Universidad
Correo electrónico	Solicitar

Nº publicaciones

171
Nº visitas

19053
Nº descargas

49855

Tipología

Orden

Publicaciones
Libro Fundamentos de programación: Python Toro Bonilla, Miguel (Universidad de Sevilla, 2022)
Libro Fundamentos de programación: Java Toro Bonilla, Miguel (Universidad de Sevilla, 2022)
Ponencia Problem Generalization for Designing Recursive Algorithms Borrego Núñez, Diana; Barba Rodríguez, Irene; Toro Bonilla, Miguel; Valle Sevillano, Carmelo del (Springer, 2020) This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...
Artículo A scheduler for SCADA-based multi-source fusion systems Corchuelo Gil, Rafael; Toro Bonilla, Miguel (Elsevier, 2020) In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source ...
Artículo 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) Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ...
Artículo TAPON: a two-phase machine learning approach for semantic labelling Ayala Hernández, Daniel; Hernández Salmerón, Inmaculada Concepción; Ruiz Cortés, David; Toro Bonilla, Miguel; Ruiz Cortés, David (Elsevier, 2019) Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ...
Ponencia 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) En este trabajo presentamos una experiencia docente, y el recurso docente correspondiente, que hemos seguido durante el ...
Artículo 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) Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ...
Artículo 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) Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...
Ponencia 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) Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...
Artículo 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) As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...
Artículo 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) Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...
Ponencia Defeasible Argumentation of Software Architectures Cañete Valdeón, José Miguel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (IEEE Computer Society, 2016) Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...
Ponencia Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Incidencias de Servicios TI Orta, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (Servizo de Publicacións da Universidade da Coruña, 2011) Actualmente, cada vez son más las organizaciones de soporte TI que recurren a ITIL (Information Technology Infraestructure ...
Tesis Doctoral Separación avanzada de conceptos en entornos WEB Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2011) En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ...
Ponencia De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL* Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (TJISBD), 2010) MWACSL es una propuesta orientada a aspectos y dirigida por modelos para el desarrollo de aplicaciones web, cuyo acrónimo ...
Ponencia A System Dynamics Approach to Web Service Capacity Management Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (IEEE Computer Society, 2009) This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ...
Artículo 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) Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ...
Ponencia Analyzing Strategic Business Rules through Simulation Modeling Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (IFIP: International Federation for Information Processing, 2009) Service Oriented Architecture (SOA) holds promise for business agility since it allows business process to change to meet ...
Ponencia 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) Las técnicas de modelado y simulación ofrecen la posibilidad de experimentar diferentes decisiones y analizar sus resultados ...
Ponencia 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) Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ...
Ponencia 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) In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...
Ponencia 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) This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ...
Artículo Simulation Modeling for Service-Oriented Development Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel (Software Engineering Competence Center, 2008) As a consequence of the growing customer orientation of business, organizations are now showing a big interest in the ...
Artículo 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) Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...
Ponencia 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) MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ...
Ponencia 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) 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 ...
Artículo 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)
Ponencia El metamodelado de un framework: Spring Web Flow Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2007) Para sobrevivir en el mercado, las compañías han de adaptarse de forma rápida a los cambios de tecnología. Esta rápida ...
Artículo From Wrapping to Knowledge Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (IEEE Computer Society, 2007) One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ...
Ponencia 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) The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ...
Capítulo de Libro Software Process Dynamics: Modeling, Simulation and Improvement Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel; Acuña, Silvia T.; Sánchez Segura, María I. (World Scientific, 2006) The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ...
Ponencia 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) In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ...
Ponencia Hacia lenguajes de metamodelado orientados a aspectos Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2006) En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ...
Ponencia 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) Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Artículo 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)
Artículo Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Torres Valderrama, Jesús; Toro Bonilla, Miguel; González Abril, Luis; Velasco Morente, Francisco; Angulo Bahón, Cecilio (Scientific Electronic Library Online (SCIELO), 2005) En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas ...
Ponencia A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data Aguilar, Jesús; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Springer, 2005) A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ...
Artículo Combining Heuristics in Assembly Sequence Planning Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel; Martínez Gasca, Rafael (IOS Press, 2005) Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...
Ponencia Agile Development and Maintenance of Applications based on Web Services Toro Bonilla, Miguel; Polo Usaola, Macario (Ministerio de Economía y Competitividad, 2005) The incredible successfulness of the Internet has paved the way for an industry devoted to developing and running web ...
Ponencia Modelando aspectos con lenguajes específicos de dominio Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Escalona Cuaresma, María José (Universidad de Extremadura, 2004) La industria del software se tiene que enfrentar a la rápida evolución del entorno tecnológico como al cambio de los ...
Ponencia Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2004) In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ...
Ponencia Conciencia de modelos como instrumentos en Ingeniería de Software: una aproximación desde las Ciencias Naturales y Sociales Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004) El papel que desempeñan los modelos en la Ciencia moderna ha sido tradicionalmente un tema de gran interés para la Filosofía. ...
Ponencia Towards developing generic solutions with aspects Reina Quintero, Antonia María; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2004) Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ...
Tesis Doctoral Métodos para descubrir conocimientos en los datos Serendero Sáez, Santiago Patricio; Toro Bonilla, Miguel (2004)
Ponencia 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) Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...
Ponencia 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)
Ponencia Using Dynamic Modeling and Simulation to Improve the COTS Software Process Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2004) In the last several years, software industry has undergone a significant transition to the use of existing component ...
Ponencia Representing Complex Multi–Agent Organisations in UML Peña Siles, Joaquín; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software, 2004) Interaction has been proved one of the main sources of complexity in Multi-Agent Systems (MAS) and many researches are ...
Artículo An order-based algorithm for implementing multiparty synchronization Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2004) Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ...
Artículo An Integrated Framework for Simulation-based Software Process Improvement Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Wiley, 2004) In this paper we present an integrated framework for software process improvement according to CMM. The framework is ...
Ponencia 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)
Ponencia 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) Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ...
Ponencia 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) The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...
Ponencia Attribute Selection for Classification Serendero Sáez, Santiago Patricio; Toro Bonilla, Miguel (International Association for Development of the Information Society, 2003) The selection of attributes used to construct a classification model is crucial in machine learning, in particular with ...
Ponencia 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) The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be ...
Artículo 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) As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Ponencia 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) The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ...
Artículo Interactions among dynamic sets of objects Torres Valderrama, Jesús; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 2003) In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ...
Ponencia 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) In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with ...
Artículo Fairness in systems based on multiparty interactions Ruiz Cortés, David; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2003) In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...
Ponencia A Genetic Algorithm for Assembly Sequence Planning Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Camacho, Eduardo F. (Springer, 2003) This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...
Artículo 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) Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Ponencia 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) This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...
Ponencia 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) En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ...
Ponencia A scheduling approach to assembly sequence planning Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F.; Martínez Gasca, Rafael (IEEE Computer Society, 2003) This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Artículo Evolutionary Learning of Hierarchical Decision Rules Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (IEEE, 2003) This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ...
Artículo Finding representative patterns withordered projections Riquelme Santos, José Cristóbal; Aguilar Ruiz, Jesús Salvador; Toro Bonilla, Miguel (Elsevier, 2003) This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...
Tesis Doctoral 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 Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002) De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...
Ponencia Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Edición Digital @tres, 2002) En la programación es esencial tener herramientas para la diagnosis del software que ayuden al programador y al ingeniero ...
Ponencia Applying XML technologies in Requirements Verification Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002) In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Ponencia 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) Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ...
Ponencia 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) This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
Ponencia 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) In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...
Ponencia 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)
Ponencia 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) Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ...
Ponencia 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) In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...
Ponencia Supporting Requirements Verification Using XSLT Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2002) In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...
Ponencia 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) The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...
Ponencia 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) Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ...
Artículo Verifying Software Requirements with XSLT Durán Toro, Amador; Ruiz Cortés, Antonio; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (ACM, 2002) In this article, we present an approach for the automatic verification of software requirements documents. This approach ...
Ponencia 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) Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...
Artículo Repairing Syntax Errors in LR Parsers Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (ACM, 2002) This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...
Ponencia A model for assembly sequence planning in a multirobot environment Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Toro Bonilla, Miguel (Elsevier, 2002) This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...
Ponencia Integrating Dynamic Models for CMM-Based Software Process Improvement Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2002) During the last decade software process simulation has been used to address a wide diversity of management problems. Some ...
Artículo A Dynamic Integrated Framework for Software Process Improvement Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Springer, 2002) Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ...
Artículo A framework for semiqualitative reasoning in engineering applications Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Taylor and Francis, 2002) In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...
Ponencia Max-CSP Approach for Software Diagnosis Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002) In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Ponencia 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) The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...
Ponencia 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) Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...
Ponencia 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) Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...
Ponencia Gestión de la evolución del software. El eterno problema de los legacy systems Rodríguez, Alfredo; Márquez, Antonio; Toro Bonilla, Miguel (Actas del Taller de Evolución del Software, 2001) La mayor parte de los grandes sistemas de información que están hoy funcionando en las empresas del país fueron desarrollados ...
Ponencia Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones Ruiz Cortés, David; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Universidad de Castilla-La Mancha, 2001) La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos ...
Ponencia Supervised Learning Using Instance-based Patterns Serendero Sáez, Santiago Patricio; Toro Bonilla, Miguel (Asociación Española para la Inteligencia Artificial, 2001) This paper introduces a new classification algorithm of the instance-based learning type. Training records are converted ...
Artículo A simplified model of software project dynamics Ruiz Carreira, Mercedes; Ramos Román, Isabel; Toro Bonilla, Miguel (Elsevier, 2001) The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ...
Artículo 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)
Ponencia 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) La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...
Ponencia Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 2001) Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...
Artículo 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)
Artículo Data Set Editing by Ordered Projection Aguilar, Jesús S.; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (IOS Press, 2001) This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ...
Tesis Doctoral Algoritmos heurísticos para la selección de secuencias óptimas de ensamblaje Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Camacho, Eduardo F. (2001)
Ponencia 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)
Ponencia 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) The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...
Ponencia 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) La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...
Artículo 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) The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ...
Ponencia 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) La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...
Ponencia 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) In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Tesis Doctoral Un framework orientado a aspectos para la descripción del comportamiento coordinado en sistemas abiertos Aplicación a los sistemas multiorganizacionales Pérez Castellanos, José Antonio; Toro Bonilla, Miguel; Corchuelo Gil, Rafael (2001)
Ponencia Fault Tolerance as an aspect using JReplica Herrero, José Luis; Sánchez, Fernando; Toro Bonilla, Miguel (IEEE Computer Society, 2001) Reliability and availability are very important trends in the development process of distributed systems. In order to ...
Ponencia 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) El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...
Ponencia An Automated Approach for Verification of Software Requirements Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001) In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
Artículo 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) La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...
Artículo 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) A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ...
Ponencia a framework for aspect–oriented multiparty coordination Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel (Springer, 2001) Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ...
Tesis Doctoral Un entorno metodológico de ingeniería de requisitos para sistemas de información Durán Toro, Amador; Toro Bonilla, Miguel (2000) En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...
Ponencia Searching for similar semiqualitative temporal patterns in time-series databases Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Universidad Michoacana de San Nicolás de Hidalgo, 2000) A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...
Ponencia Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso. Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Torres Valderrama, Jesús; González Romano, José Mariano (ARCA: Automatización del Razonamiento Cualitativo y Aplicaciones, 2000) En este trabajo se propone una nueva tecnología para automatizar el análisis y el estudio de modelos con restricciones que ...
Artículo A Multiparty Coordination Aspect Language Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (ACM Digital Library, 2000) Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ...
Ponencia 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)
Artículo Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía. Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2000) Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...
Informe Modelo dinámico reducido v.1: Informe Técnico LSI-2000-12 Ramos Román, Isabel; Toro Bonilla, Miguel; Ruiz Carreira, Mercedes (2000) Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ...
Tesis Doctoral Patrones de comportamiento temporal en modelos semicualitativos con restricciones Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (2000) En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ...
Capítulo de Libro Semiqualitative Temporal Patterns in Time-Series Databases Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Edición Digital @tres, 2000) A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...
Capítulo de Libro Using constraint programming framework for Semiqualitative Reasoning Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Cordero Valle, Juan Manuel (Edición Digital @tres, 2000) A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ...
Artículo 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) Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...
Artículo Discovering hierarchical decision rules with evolutive algorithms in supervised learning Riquelme Santos, José Cristóbal; Aguilar, Jesús S.; Toro Bonilla, Miguel (2000) This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ...
Ponencia 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) Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
Tesis Doctoral Gramáticas de adjunción de árboles un enfoque deductivo en el análisis sintáctico Díaz Madrigal, Víctor Jesús; Toro Bonilla, Miguel (2000) Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ...
Artículo 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) Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...
Artículo Extensiones al sistema de clasificación UML Mejías Risoto, Manuel; Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (2000)
Artículo 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) The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ...
Artículo 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) This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ...
Artículo 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) En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...
Ponencia Semántica formal de asociaciones y agregados para su implementación con reglas activas Martín Díaz, Octavio; Torres Valderrama, Jesús; Durán Toro, Amador; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Universidad de Extremadura: Grupo de Paralelismo, 1999)
Ponencia Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (Universidad de Extremadura: Grupo de Paralelismo, 1999) Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los ...
Artículo Revisando el reconocedor con prefijo válido para TAGS de Schabes Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Toro Bonilla, Miguel (Sociedad Española para el Procesamiento del Lenguaje Natural, 1999) Garantizar la calidad del prefijo válido en el reconocimiento de lenguajes para Gramáticas de Adjunción de Árboles (TAG, ...
Ponencia 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) One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...
Ponencia 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) Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...
Capítulo de Libro Three Geometric Approaches for representing Decision Rules in a Supervised Learning System Aguilar, Jesús S.; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (Morgan Kaufmann Publishers Inc, 1999)
Tesis Doctoral Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO Corchuelo Gil, Rafael; Toro Bonilla, Miguel (1999) Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ...
Ponencia 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) Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...
Artículo Specifying interactions among objects through constraints Torres Valderrama, Jesús; Toro Bonilla, Miguel; Troyano Jiménez, José Antonio (1999)
Capítulo de Libro Automatic Generation of Collision-Free Programs for Multiple Manipulators Using Evolutive Algorithms Ridao Olivar, Miguel Ángel; Riquelme Santos, José Cristóbal; Camacho, Eduardo F.; Toro Bonilla, Miguel (World Scientific and Engineering Academy and Society, 1999) A method based on Evolutionary Algorithms for obtaining coordinated motion plans of multiple manipulator robots using a ...
Capítulo de Libro A Distributed Solution to Synchronous Multiparty Interaction Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel; Arjona, José L.; Prieto, José M. (World Scientific and Engineering Academy and Society, 1999) Multiparty interactions are the key to describe problems where three or more processes need to collaborate simultaneously ...
Ponencia 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) We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ...
Tesis Doctoral Un nuevo enfoque en la gestión de proyectos de desarrollo de software Ramos Román, Isabel; Toro Bonilla, Miguel; Aracil Santonja, Javier (1999)
Ponencia 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) A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ...
Ponencia Automatic Semiqualitative Analysis: Application to a Biometallurgical System Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel (Springer, 1998) The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...
Ponencia Including Qualitative Knowledge in Semiqualitative Dynamical Systems Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel (Springer, 1998) A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...
Artículo 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)
Tesis Doctoral Razonamiento y simulación en sistemas que integran conocimiento cualitativo y cuantitativo Martínez Gasca, Rafael; Toro Bonilla, Miguel (1998)
Capítulo de Libro Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (1998) This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ...
Artículo Análisis sintáctico de TAGS usando analizadores deductivos Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Toro Bonilla, Miguel (Sociedad Española para el procesamiento del lenguaje natural, 1998) La definición de analizadores sintácticos utilizando sistemas deductivos (analizadores deductivos), supone un enfoque con ...
Tesis Doctoral Herencia y clasificación en un lenguaje de especificación orientado a objetos Troyano Jiménez, José Antonio; Toro Bonilla, Miguel (1998) Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ...
Ponencia A Review of Earley-Based Parser for TIG Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Toro Bonilla, Miguel (Springer, 1998) Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ...
Artículo Search and Linguistic Description of Connected Regions In Quantitative Data Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (International Federation of Automatic Control, 1997) The aim of this paper is to resume a great volume of quantitative knowledge in a qualitative model formed by linguistic ...
Ponencia Parsing TAGs with Prolog Díaz Madrigal, Víctor Jesús; Toro Bonilla, Miguel (dblp computer science bibliography, 1997) Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) ...
Tesis Doctoral Especificaciones Orientadas a Objetos Basadas en Restricciones Prototipado en un lenguaje Orientado a Procesos Torres Valderrama, Jesús; Toro Bonilla, Miguel (1997)
Tesis Doctoral Aplicación del lenguaje natural a la adquisición de conocimientos y operación de sistemas complejos González Romano, José Mariano; Camacho, Eduardo F.; Toro Bonilla, Miguel (1997)
Tesis Doctoral Obtención de información cualitativa a partir de datos cuantitativos Aplicación al análisis de sistemas complejos Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel (1996)
Artículo Coordinated motion planning of manipulators by evolution strategies Ridao Olivar, Miguel Ángel; Riquelme Santos, José Cristóbal; Camacho, Eduardo F.; Toro Bonilla, Miguel (WIT Press, 1995) A method for obtaining coordinated motion plans of manipulator robots is presented. This planning can be easily implemented ...
Ponencia A Technique for Distributed Systems Specification Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (IEEE Computer Society, 1995) In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ...
Capítulo de Libro Qualitative modelling in ecology Toro Bonilla, Miguel (International Center for Numerical Methods in Engineering, 1995)
Artículo Software Quality Through Formal OO Specification Torres Valderrama, Jesús; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel (WITPress, 1995)
Capítulo de Libro Qualitative Simulation and Automated Causal Reasoning Dolado, José Javier; Toro Bonilla, Miguel (International Center for Numerical Methods in Engineering, 1995)
Ponencia Especificación orientada a objetos desde un enfoque algebraico Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel (Universidad Politécnica de Valencia, 1994) Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado ...
Ponencia Qualitative modelling and simulations by piecewise linear analysis Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María (IFAC Proceedings Volumes, 1992) Since applications of expert systems were typical in domains with no well defined models, qualitative methods for modelling ...
Ponencia Qualitative Behavior Associated to System Dynamics Influence Diagrams Aracil Santonja, Javier; Toro Bonilla, Miguel (International System Dynamic Conference (ISDC), 1992) The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative ...
Ponencia Piecewise linear analysis of an influence diagram Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María (International System Dynamic Conference (ISDC), 1992) To each causal diagram, and the structure that it represents, a dynamical system can be associated. From its qualitative ...
Ponencia Bifurcations and aggregation in large scale systems Aracil Santonja, Javier; Toro Bonilla, Miguel (IFAC Proceedings Volumes, 1987) This paper deals with the following problem: assume that a qualitative analysis (behaviour modes, bifurcation points, type ...
Artículo A case study of qualitative change in system dynamics Aracil Santonja, Javier; Toro Bonilla, Miguel (Taylor and Francis, 1984) The application of dynamical systems qualitative analysis techniques to the study of models of socio-economical systems ...

Perfil del autor: Toro Bonilla, Miguel

Datos institucionales

Estadísticas

Nº publicaciones

Nº visitas

Nº descargas

Publicaciones