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

    171

  • No. visits

    17496

  • No. downloads

    32742


 

Book
Icon

Fundamentos de programación: Python

Toro Bonilla, Miguel; Toro Bonilla, Miguel (Universidad de Sevilla, 2022)
Book
Icon

Fundamentos de programación: Java

Toro Bonilla, Miguel; Toro Bonilla, Miguel (Universidad de Sevilla, 2022)
Presentation
Icon

Problem Generalization for Designing Recursive Algorithms

Borrego Núñez, Diana; Borrego Núñez, Diana; Barba Rodríguez, Irene; Barba Rodríguez, Irene; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Valle Sevillano, Carmelo del; Valle Sevillano, Carmelo del (Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...
Article
Icon

A scheduler for SCADA-based multi-source fusion systems

Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2020)
In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source ...
Article
Icon

TAPON-MT: a versatile framework for semantic labelling

Ayala Hernández, Daniel; Ayala Hernández, Daniel; Hernández Salmerón, Inmaculada Concepción; Hernández Salmerón, Inmaculada Concepción; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2019)
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; Ruiz Cortés, David; Ayala Hernández, Daniel; Ayala Hernández, Daniel; Hernández Salmerón, Inmaculada Concepción; Hernández Salmerón, Inmaculada Concepción; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2019)
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 Cerero, Damián; Fernández Montes González, Alejandro; Fernández Montes González, Alejandro; Jakóbik, Agnieszka; Jakóbik, Agnieszka; Kołodziej, Joanna; Kołodziej, Joanna; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2018)
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; Troyano Jiménez, José Antonio; Cruz Mata, Fermín; Cruz Mata, Fermín; González Romano, José Mariano; González Romano, José Mariano; García Vallejo, Carlos Antonio; García Vallejo, Carlos Antonio; Toro Bonilla, Miguel; 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 ...
Article
Icon

Edge and Cloud Pricing for the Sharing Economy

García Rodríguez, José María; García Rodríguez, José María; Fernández Montes, Pablo; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Dustdar, Schahram; Dustdar, Schahram; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Automated Analysis of Cloud Offerings for Optimal Service Provisioning

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

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

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

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

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

Defeasible Argumentation of Software Architectures

Cañete Valdeón, José Miguel; Cañete Valdeón, José Miguel; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Orta, Elena; Orta, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
PhD Thesis
Icon

Separación avanzada de conceptos en entornos WEB

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

De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL*

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Orta, Elena; Orta, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

A System Dynamics Approach to Web Service Capacity Management

Orta Cuevas, Elena; Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Analyzing Strategic Business Rules through Simulation Modeling

Orta Cuevas, Elena; Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
Article
Icon

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

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

Dealing with Fixable and Non-fixable Properties in Service Matchmaking

Martín Díaz, Octavio; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; García Rodríguez, José María; García Rodríguez, José María; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Springer, 2009)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...
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; Orta, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Navascués, Javier; Navascués, Javier; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Springer, 2009)
This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ...
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.; Moreno García, María N.; Ramos Román, Isabel; Ramos Román, Isabel; García Peñalvo, Francisco J.; García Peñalvo, Francisco J.; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2008)
Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...
Article
Icon

Simulation Modeling for Service-Oriented Development

Orta Cuevas, Elena; Orta Cuevas, Elena; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Torres Valderrama, Jesús; 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 ...
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; Navascués Fernández-Victorio, Javier; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; 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 ...
Article
Icon

Automated Error Analysis for the Agilization of Feature Modeling

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

El metamodelado de un framework: Spring Web Flow

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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 ...
Article
Icon

From Wrapping to Knowledge

Arjona Fernández, José Luis; Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; Toro Bonilla, Miguel (IEEE Computer Society, 2007)
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; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Modular Software Process Simulation Models Through Metamodeling

Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; 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 ...
Chapter of Book
Icon

Software Process Dynamics: Modeling, Simulation and Improvement

Acuña, Silvia T.; Acuña, Silvia T.; Sánchez Segura, María I.; Sánchez Segura, María I.; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; Toro Bonilla, Miguel (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 ...
Presentation
Icon

Hacia lenguajes de metamodelado orientados a aspectos

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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. ...
Presentation
Icon

Explanations for Agile Feature Models

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

Improving the Automatic Procurement of Web Services Using Constraint Programming

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

Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Toro Bonilla, Miguel; González Abril, Luis; González Abril, Luis; Velasco Morente, Francisco; Velasco Morente, Francisco; Angulo Bahón, Cecilio; 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 ...
Article
Icon

Combining Heuristics in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Valle Sevillano, Carmelo del; Camacho, Eduardo F.; Camacho, Eduardo F.; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Martínez Gasca, Rafael; 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 ...
Presentation
Icon

Agile Development and Maintenance of Applications based on Web Services

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Polo Usaola, Macario; 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 ...
Presentation
Icon

A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data

Aguilar, Jesús; Aguilar, Jesús; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Modelando aspectos con lenguajes específicos de dominio

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Escalona Cuaresma, María José; 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 ...
Presentation
Icon

Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments

Cañete Valdeón, José Miguel; Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Galán Morillo, Francisco José; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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; Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Galán Morillo, Francisco José; Toro Bonilla, Miguel; 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. ...
PhD Thesis
Icon

Métodos para descubrir conocimientos en los datos

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

Towards developing generic solutions with aspects

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

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

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

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

Using Dynamic Modeling and Simulation to Improve the COTS Software Process

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

Representing Complex Multi–Agent Organisations in UML

Peña Siles, Joaquín; Peña Siles, Joaquín; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Interval model-based diagnosis using constraint programming

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

An order-based algorithm for implementing multiparty synchronization

Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Arjona Fernández, José Luis; Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel (IEEE Computer Society, 2003)
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; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; 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) ...
Presentation
Icon

Una experiencia práctica reutilizando aspectos

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

Automating the Procurement of Web Services

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

Concerns vs components for web development

Reina Quintero, Antonia María; Reina Quintero, Antonia María; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Álvarez García, Juan Antonio; Á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 ...
Article
Icon

Fairness in systems based on multiparty interactions

Ruiz Cortés, David; Ruiz Cortés, David; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; 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 ...
Article
Icon

Interactions among dynamic sets of objects

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

Attribute Selection for Classification

Serendero Sáez, Santiago Patricio; Serendero Sáez, Santiago Patricio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Arjona Fernández, José Luis; Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Peña Siles, Joaquín; Peña Siles, Joaquín; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

A Genetic Algorithm for Assembly Sequence Planning

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

A scheduling approach to assembly sequence planning

Valle Sevillano, Carmelo del; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Camacho, Eduardo F.; Camacho, Eduardo F.; Martínez Gasca, Rafael; 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 ...
Article
Icon

Evolutionary Learning of Hierarchical Decision Rules

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

On Selecting and Scheduling Assembly Plans Using Constraint Programming

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

A Quality-Aware Approach to Web Services Procurement

Martín Díaz, Octavio; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Benavides Cuevas, David Felipe; Durán Toro, Amador; Durán Toro, Amador; Toro Bonilla, Miguel; 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 ...
Article
Icon

Finding representative patterns withordered projections

Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Aguilar Ruiz, Jesús Salvador; Aguilar Ruiz, Jesús Salvador; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Elsevier, 2003)
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...
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; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Durán Toro, Amador; Toro Bonilla, Miguel; 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 ...
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; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio (2002)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...
Presentation
Icon

Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.

Ceballos Guerrero, Rafael; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...
Presentation
Icon

A model for assembly sequence planning in a multirobot environment

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

Repairing Syntax Errors in LR Parsers

Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

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

Qualitative Comparison of Temporal Series. QSI

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Cuberos, Francisco Javier; Cuberos, Francisco Javier; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Torres Valderrama, Jesús; 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 ...
Presentation
Icon

Applying XML technologies in Requirements Verification

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

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

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

An Enablement Detection Algorithm for Open Multiparty Interactions

Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Improving software process maturity through dynamic modeling and simulation

Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions

Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; 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 ...
Article
Icon

Verifying Software Requirements with XSLT

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

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

Ruiz Cortés, David; Ruiz Cortés, David; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Supporting Requirements Verification Using XSLT

Durán Toro, Amador; Durán Toro, Amador; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

A Semiquantitative Approach to Study Semiqualitative Systems

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

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

Arjona Fernández, José Luis; Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; 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 ...
Article
Icon

A Dynamic Integrated Framework for Software Process Improvement

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

Max-CSP Approach for Software Diagnosis

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

Integrating Dynamic Models for CMM-Based Software Process Improvement

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

Automatic Extraction of Semantically-Meaningful Information from the Web.

Arjona Fernández, José Luis; Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; 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 ...
Article
Icon

A framework for semiqualitative reasoning in engineering applications

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

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

Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Ramos Román, Isabel; Ramos Román, Isabel; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

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

Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones

Ruiz Cortés, David; Ruiz Cortés, David; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Gestión de la evolución del software. El eterno problema de los legacy systems

Rodríguez, Alfredo; Rodríguez, Alfredo; Márquez, Antonio; Márquez, Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Supervised Learning Using Instance-based Patterns

Serendero Sáez, Santiago Patricio; Serendero Sáez, Santiago Patricio; Toro Bonilla, Miguel; 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 ...
Article
Icon

A simplified model of software project dynamics

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

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

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

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

Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Durán Toro, Amador; Durán Toro, Amador; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells

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

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

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

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

Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Ramos Román, Isabel; Ramos Román, Isabel; Aguilar, Jesús; Aguilar, Jesús; Ferrer Troyano, Francisco Javier; Ferrer Troyano, Francisco Javier; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Dolado, J.; Dolado, J.; Ruiz de Infante, A.; Ruiz de Infante, A.; Tuya, J.; Tuya, J.; Fernández, P.; Fernández, P.; Prieto, M.A.; Prieto, M.A.; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Rodríguez García, D.; Rodríguez García, D.; Satpathy, M.; Satpathy, M.; Harrison, R.; Harrison, R.; Matilla, R.; Matilla, R.; Álvarez, M.A.; Á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 ...
Presentation
Icon

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

Ramos Román, Isabel; Ramos Román, Isabel; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Aguilar, J.; Aguilar, J.; Ferrer Troyano, Francisco Javier; Ferrer Troyano, Francisco Javier; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Tuya, J.; Tuya, J.; Fernández, P.; Fernández, P.; Prieto, M.A.; Prieto, M.A.; Ruiz Carreira, Mercedes; Ruiz Carreira, Mercedes; Rodríguez García, D.; Rodríguez García, D.; Satpathy, M.; Satpathy, M.; Harrison, R.; Harrison, R.; Ruiz de Infante, A.; Ruiz de Infante, A.; Matilla, R.; Matilla, R.; Álvarez, M.A.; Á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 ...
PhD Thesis
Icon

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

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

Data Set Editing by Ordered Projection

Aguilar, Jesús S.; Aguilar, Jesús S.; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Mejora de los procesos software utilizando simulacion e integracion de tecnicas

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

An evolutionary approach to estimating software development projects

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

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

Martín Díaz, Octavio; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

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

Un framework orientado a aspectos para la descripción del comportamiento coordinado en sistemas abiertos Aplicación a los sistemas multiorganizacionales

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio (2001)
Presentation
Icon

Fault Tolerance as an aspect using JReplica

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

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

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

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

Martínez Gasca, Rafael; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

a framework for aspect–oriented multiparty coordination

Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

An Automated Approach for Verification of Software Requirements

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

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

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

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

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

Searching for similar semiqualitative temporal patterns in time-series databases

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Toro Bonilla, Miguel; 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. ...
Presentation
Icon

Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso.

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Torres Valderrama, Jesús; González Romano, José Mariano; 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 ...
Presentation
Icon

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

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

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

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

Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía.

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; 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 ...
Article
Icon

A Multiparty Coordination Aspect Language

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

Discovering hierarchical decision rules with evolutive algorithms in supervised learning

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

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

Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Durán Toro, Amador; Durán Toro, Amador; Toro Bonilla, Miguel; 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, ...
PhD Thesis
Icon

Patrones de comportamiento temporal en modelos semicualitativos con restricciones

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

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

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

Extensiones al sistema de clasificación UML

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

Semiqualitative Temporal Patterns in Time-Series Databases

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Galán Morillo, Francisco José; Galán Morillo, Francisco José; Cañete Valdeón, José Miguel; 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. ...
Article
Icon

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

Martínez Gasca, Rafael; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; 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 ...
Chapter of Book
Icon

Using constraint programming framework for Semiqualitative Reasoning

Martínez Gasca, Rafael; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Cordero Valle, Juan Manuel; 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 ...
Article
Icon

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

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; 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 ...
Article
Icon

Implementing Associations among Classes in an Environment of Active Databases

Torres Valderrama, Jesús; Torres Valderrama, Jesús; Martín Díaz, Octavio; Martín Díaz, Octavio; Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel; 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. ...
Article
Icon

Obtención de patrones de comportamiento de modelos semicualitativos

Ortega Ramírez, Juan Antonio; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Martínez Gasca, Rafael; Toro Bonilla, Miguel; 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 ...
Article
Icon

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

González Romano, José Mariano; González Romano, José Mariano; Camacho, Eduardo F.; Camacho, Eduardo F.; Gómez Ortega, Juan; Gómez Ortega, Juan; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

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

Martín Díaz, Octavio; Martín Díaz, Octavio; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Durán Toro, Amador; Durán Toro, Amador; Pérez Castellanos, José Antonio; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Universidad de Extremadura: Grupo de Paralelismo, 1999)
Presentation
Icon

Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos

Durán Toro, Amador; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Ruiz Cortés, Antonio; 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 ...
Article
Icon

Revisando el reconocedor con prefijo válido para TAGS de Schabes

Díaz Madrigal, Víctor Jesús; Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Carrillo Montero, Vicente; Toro Bonilla, Miguel; 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, ...
Presentation
Icon

Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns

Durán Toro, Amador; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio; Pérez Castellanos, José 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 ...
Presentation
Icon

A Requirements Elicitation Approach Based in Templates and Patterns

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

A Distributed Solution to Synchronous Multiparty Interaction

Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Arjona, José L.; Arjona, José L.; Prieto, José M.; 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 ...
PhD Thesis
Icon

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

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

Implementing Multiparty Interactions on a Network Computer

Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Ruiz Cortés, David; Ruiz Cortés, David; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Ruiz Cortés, Antonio; 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 ...
Chapter of Book
Icon

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

Aguilar, Jesús S.; Aguilar, Jesús S.; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Morgan Kaufmann Publishers Inc, 1999)
Article
Icon

Specifying interactions among objects through constraints

Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio (1999)
Chapter of Book
Icon

Automatic Generation of Collision-Free Programs for Multiple Manipulators Using Evolutive Algorithms

Ridao Olivar, Miguel Ángel; Ridao Olivar, Miguel Ángel; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Camacho, Eduardo F.; Camacho, Eduardo F.; Toro Bonilla, Miguel; 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 ...
PhD Thesis
Icon

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

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Aracil Santonja, Javier; Aracil Santonja, Javier; Ramos Román, Isabel; Ramos Román, Isabel (1999)
Presentation
Icon

Object Oriented Specification based on Restrictions: Participation and Interaction

Torres Valderrama, Jesús; Torres Valderrama, Jesús; Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Corchuelo Gil, Rafael; Durán Toro, Amador; 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 ...
Presentation
Icon

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

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

Including Qualitative Knowledge in Semiqualitative Dynamical Systems

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

Automatic Semiqualitative Analysis: Application to a Biometallurgical System

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

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

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

Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes

Aguilar Ruiz, Jesús Salvador; Aguilar Ruiz, Jesús Salvador; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; Toro Bonilla, Miguel (1998)
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; Toro Bonilla, Miguel; Martínez Gasca, Rafael; Martínez Gasca, Rafael (1998)
Article
Icon

Análisis sintáctico de TAGS usando analizadores deductivos

Díaz Madrigal, Víctor Jesús; Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Carrillo Montero, Vicente; Toro Bonilla, Miguel; 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 ...
PhD Thesis
Icon

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

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio (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 ...
Presentation
Icon

A Review of Earley-Based Parser for TIG

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

Search and Linguistic Description of Connected Regions In Quantitative Data

Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; 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 ...
PhD Thesis
Icon

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

Camacho, Eduardo F.; Camacho, Eduardo F.; Toro Bonilla, Miguel; Toro Bonilla, Miguel; González Romano, José Mariano; González Romano, José Mariano (1997)
Presentation
Icon

Parsing TAGs with Prolog

Díaz Madrigal, Víctor Jesús; Díaz Madrigal, Víctor Jesús; Toro Bonilla, Miguel; Toro Bonilla, Miguel (dblp computer science bibliography, 1997)
Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) ...
PhD Thesis
Icon

Especificaciones Orientadas a Objetos Basadas en Restricciones Prototipado en un lenguaje Orientado a Procesos

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Torres Valderrama, Jesús (1997)
PhD Thesis
Icon

Obtención de información cualitativa a partir de datos cuantitativos Aplicación al análisis de sistemas complejos

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal (1996)
Article
Icon

Coordinated motion planning of manipulators by evolution strategies

Ridao Olivar, Miguel Ángel; Ridao Olivar, Miguel Ángel; Riquelme Santos, José Cristóbal; Riquelme Santos, José Cristóbal; Camacho, Eduardo F.; Camacho, Eduardo F.; Toro Bonilla, Miguel; Toro Bonilla, Miguel (WIT Press, 1995)
A method for obtaining coordinated motion plans of manipulator robots is presented. This planning can be easily implemented ...
Presentation
Icon

A Technique for Distributed Systems Specification

Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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. ...
Chapter of Book
Icon

Qualitative Simulation and Automated Causal Reasoning

Dolado, José Javier; Dolado, José Javier; Toro Bonilla, Miguel; Toro Bonilla, Miguel (International Center for Numerical Methods in Engineering, 1995)
Chapter of Book
Icon

Qualitative modelling in ecology

Toro Bonilla, Miguel; Toro Bonilla, Miguel (International Center for Numerical Methods in Engineering, 1995)
Article
Icon

Software Quality Through Formal OO Specification

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

Especificación orientada a objetos desde un enfoque algebraico

Troyano Jiménez, José Antonio; Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Torres Valderrama, Jesús; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Qualitative modelling and simulations by piecewise linear analysis

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María; 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 ...
Presentation
Icon

Qualitative Behavior Associated to System Dynamics Influence Diagrams

Aracil Santonja, Javier; Aracil Santonja, Javier; Toro Bonilla, Miguel; 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 ...
Presentation
Icon

Piecewise linear analysis of an influence diagram

Toro Bonilla, Miguel; Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María; 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 ...
Presentation
Icon

Bifurcations and aggregation in large scale systems

Aracil Santonja, Javier; Aracil Santonja, Javier; Toro Bonilla, Miguel; Toro Bonilla, Miguel (IFAC Proceedings Volumes, 1987)
This paper deals with the following problem: assume that a qualitative analysis (behaviour modes, bifurcation points, type ...
Article
Icon

A case study of qualitative change in system dynamics

Aracil Santonja, Javier; Aracil Santonja, Javier; Toro Bonilla, Miguel; Toro Bonilla, Miguel (Taylor and Francis, 1984)
The application of dynamical systems qualitative analysis techniques to the study of models of socio-economical systems ...