Author profile: Toro Bonilla, Miguel
Institutional data
Name | Toro Bonilla, Miguel |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrático de Universidad |
Request | |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Statistics
-
No. publications
171
-
No. visits
17496
-
No. downloads
32742
Publications |
---|
Book
![]() Fundamentos de programación: Python
(Universidad de Sevilla, 2022)
|
Book
![]() Fundamentos de programación: Java
(Universidad de Sevilla, 2022)
|
Presentation
![]() Problem Generalization for Designing Recursive Algorithms
(Springer, 2020)
This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ... |
Article
![]() A scheduler for SCADA-based multi-source fusion systems
(Elsevier, 2020)
In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source ... |
Article
![]() TAPON-MT: a versatile framework for semantic labelling
(Elsevier, 2019)
Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ... |
Article
![]() TAPON: a two-phase machine learning approach for semantic labelling
(Elsevier, 2019)
Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ... |
Article
![]() SCORE: Simulator for cloud optimization of resources andenergy consumption
(Elsevier, 2018)
Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ... |
Presentation
![]() Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo
(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
![]() Edge and Cloud Pricing for the Sharing Economy
(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
![]() Automated Analysis of Cloud Offerings for Optimal Service Provisioning
(Springer, 2017)
Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ... |
Article
![]() Run-time prediction of business process indicators using evolutionary decision rules
(Elsevier, 2017)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ... |
Article
![]() VISUAL PPINOT: A Graphical Notation for Process Performance Indicators
(Springer, 2017)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ... |
Presentation
![]() Defeasible Argumentation of Software Architectures
(IEEE Computer Society, 2016)
Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ... |
Presentation
![]() Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Incidencias de Servicios TI
(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
![]() Separación avanzada de conceptos en entornos WEB
(2011)
En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ... |
Presentation
![]() De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL*
(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
![]() Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios TI
(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
![]() A System Dynamics Approach to Web Service Capacity Management
(IEEE Computer Society, 2009)
This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ... |
Presentation
![]() Analyzing Strategic Business Rules through Simulation Modeling
(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
![]() The intentional relationship of representation between the constructs of a language and reality
(Elsevier, 2009)
Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ... |
Presentation
![]() Dealing with Fixable and Non-fixable Properties in Service Matchmaking
(Springer, 2009)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ... |
Presentation
![]() 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
(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
![]() A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment
(Springer, 2009)
This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ... |
Article
![]() An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
(Elsevier, 2008)
Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ... |
Article
![]() Simulation Modeling for Service-Oriented Development
(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
![]() Generating domain specific aspect code for navigation from platform specific models in MWACSL
(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
![]() Hacia un modelo híbrido de simulación de la producción de software en un entorno multiproyecto
(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
![]() Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Presentation
![]() El metamodelado de un framework: Spring Web Flow
(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
![]() From Wrapping to Knowledge
(IEEE Computer Society, 2007)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ... |
Presentation
![]() Improving the adaptation of web applications to different versions of software with MDA
(CEUR-WS, 2007)
The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ... |
Presentation
![]() Modular Software Process Simulation Models Through Metamodeling
(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
![]() Software Process Dynamics: Modeling, Simulation and Improvement
(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
![]() Hacia lenguajes de metamodelado orientados a aspectos
(2006)
En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ... |
Presentation
![]() Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Article
![]() Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
Article
![]() Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos
(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
![]() Combining Heuristics in Assembly Sequence Planning
(IOS Press, 2005)
Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ... |
Presentation
![]() Agile Development and Maintenance of Applications based on Web Services
(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
![]() A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data
(Springer, 2005)
A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ... |
Presentation
![]() Modelando aspectos con lenguajes específicos de dominio
(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
![]() Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments
(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
![]() Conciencia de modelos como instrumentos en Ingeniería de Software: una aproximación desde las Ciencias Naturales y Sociales
(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 |
Presentation
![]() Towards developing generic solutions with aspects
(2004)
Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ... |
Presentation
![]() A Controlled Experiment for Evaluating a Metric–Based Reading Technique for Requirements Inspection
(IEEE Computer Society, 2004)
Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ... |
Presentation |
Presentation
![]() Using Dynamic Modeling and Simulation to Improve the COTS Software Process
(Springer, 2004)
In the last several years, software industry has undergone a significant transition to the use of existing component ... |
Article
![]() An Integrated Framework for Simulation-based Software Process Improvement
(Wiley, 2004)
In this paper we present an integrated framework for software process improvement according to CMM. The framework is ... |
Presentation
![]() Representing Complex Multi–Agent Organisations in UML
(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
![]() Interval model-based diagnosis using constraint programming
(IEEE Computer Society, 2004)
|
Article
![]() An order-based algorithm for implementing multiparty synchronization
(John Wiley and Sons, 2004)
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ... |
Presentation
![]() A Knowledge Extraction Process Specification for Today’s non-semantic Web
(IEEE Computer Society, 2003)
The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ... |
Presentation
![]() A Framework For Classifying and Comparing Web Services Procurement Platforms
(IEEE Computer Society, 2003)
The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ... |
Presentation
![]() Una experiencia práctica reutilizando aspectos
(2003)
Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ... |
Article
![]() Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Presentation
![]() Concerns vs components for web development
(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
![]() Fairness in systems based on multiparty interactions
(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
![]() Interactions among dynamic sets of objects
(Springer, 2003)
In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ... |
Presentation
![]() Attribute Selection for Classification
(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
![]() Knowledge Channels: Bringing the Knowledge on the Web to Software Agents
(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
![]() A Genetic Algorithm for Assembly Sequence Planning
(Springer, 2003)
This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ... |
Presentation
![]() A scheduling approach to assembly sequence planning
(IEEE Computer Society, 2003)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Article
![]() Evolutionary Learning of Hierarchical Decision Rules
(IEEE, 2003)
This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ... |
Presentation
![]() On Selecting and Scheduling Assembly Plans Using Constraint Programming
(Springer, 2003)
This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ... |
Article
![]() A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
Article
![]() Finding representative patterns withordered projections
(Elsevier, 2003)
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ... |
Presentation
![]() Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas
(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
![]() ![]() 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
(2002)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ... |
Presentation
![]() Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
(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 ... |
Presentation
![]() A model for assembly sequence planning in a multirobot environment
(Elsevier, 2002)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Article
![]() Repairing Syntax Errors in LR Parsers
(ACM, 2002)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ... |
Presentation
![]() A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
(Springer, 2002)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ... |
Presentation
![]() Qualitative Comparison of Temporal Series. QSI
(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
![]() Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Presentation |
Presentation
![]() An Enablement Detection Algorithm for Open Multiparty Interactions
(ACM Digital Library, 2002)
Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ... |
Presentation
![]() Improving software process maturity through dynamic modeling and simulation
(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
![]() An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
(Springer, 2002)
Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ... |
Article
![]() Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Presentation
![]() An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
(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
![]() Supporting Requirements Verification Using XSLT
(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
![]() A Semiquantitative Approach to Study Semiqualitative Systems
(Springer, 2002)
In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ... |
Presentation
![]() A Practical Agent-Based Method to Extract Semantic Information from the Web
(Springer, 2002)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ... |
Article
![]() A Dynamic Integrated Framework for Software Process Improvement
(Springer, 2002)
Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ... |
Presentation
![]() Max-CSP Approach for Software Diagnosis
(Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ... |
Presentation
![]() Integrating Dynamic Models for CMM-Based Software Process Improvement
(Springer, 2002)
During the last decade software process simulation has been used to address a wide diversity of management problems. Some ... |
Presentation
![]() Automatic Extraction of Semantically-Meaningful Information from the Web.
(Springer, 2002)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ... |
Article
![]() A framework for semiqualitative reasoning in engineering applications
(Taylor and Francis, 2002)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ... |
Presentation
![]() Marco dinámico integrado para la mejora de los procesos software
(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
![]() Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements
(2002)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ... |
Presentation
![]() Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(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
![]() Gestión de la evolución del software. El eterno problema de los legacy systems
(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
![]() Supervised Learning Using Instance-based Patterns
(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
![]() A simplified model of software project dynamics
(Elsevier, 2001)
The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ... |
Article |
Presentation
![]() Automated Support for Quality Requirements in Web–Service–Based Systems
(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
![]() Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
(Springer, 2001)
Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ... |
Article
![]() Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI
(Centro de Investigación en Computación IPN, 2001)
|
Presentation
![]() SEGESOFT: un entorno de entrenamiento para la gestión de proyectos software
(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
![]() Integración de información en un entorno de entrenamiento para la gestión de proyectos software
(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 |
Article
![]() Data Set Editing by Ordered Projection
(IOS Press, 2001)
This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ... |
Presentation
![]() Mejora de los procesos software utilizando simulacion e integracion de tecnicas
(CEUR-WS.Org, 2001)
|
Article
![]() An evolutionary approach to estimating software development projects
(Elsevier, 2001)
The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ... |
Presentation
![]() Una Aproximación a la Gestión Automática de Alternativas de Diseño
(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
![]() An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
(2001)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
PhD Thesis |
Presentation
![]() Fault Tolerance as an aspect using JReplica
(IEEE Computer Society, 2001)
Reliability and availability are very important trends in the development process of distributed systems. In order to ... |
Presentation
![]() Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ... |
Article
![]() Diagnosis basada en modelos polinómicos usando técnicas simbólicas
(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
![]() a framework for aspect–oriented multiparty coordination
(Springer, 2001)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ... |
Presentation
![]() An Automated Approach for Verification of Software Requirements
(2001)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ... |
Article
![]() An Evolutionary and Local Search Algorithm for Motion Planning of Two Manipulators
(Wiley, 2001)
A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ... |
PhD Thesis
![]() Un entorno metodológico de ingeniería de requisitos para sistemas de información
(2000)
En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ... |
Presentation
![]() Searching for similar semiqualitative temporal patterns in time-series databases
(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
![]() Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso.
(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 |
PhD Thesis
![]() Gramáticas de adjunción de árboles un enfoque deductivo en el análisis sintáctico
(2000)
Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ... |
Article
![]() Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía.
(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
![]() A Multiparty Coordination Aspect Language
(ACM Digital Library, 2000)
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ... |
Article
![]() Discovering hierarchical decision rules with evolutive algorithms in supervised learning
(2000)
This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ... |
Presentation
![]() An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(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
![]() Patrones de comportamiento temporal en modelos semicualitativos con restricciones
(2000)
En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ... |
Report
![]() Modelo dinámico reducido v.1: Informe Técnico LSI-2000-12
(2000)
Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ... |
Article |
Chapter of Book
![]() Semiqualitative Temporal Patterns in Time-Series Databases
(Edición Digital @tres, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ... |
Article
![]() Aplicación del Razonamiento Semicualitativo al modelado y análisis de sistemas económicos
(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
![]() Using constraint programming framework for Semiqualitative Reasoning
(Edición Digital @tres, 2000)
A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ... |
Article
![]() Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos
(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
![]() Implementing Associations among Classes in an Environment of Active Databases
(MAIK Nauka/lnterperiodica, 2000)
The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ... |
Article
![]() Obtención de patrones de comportamiento de modelos semicualitativos
(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
![]() A generic natural language interface for task planning : application to a mobile robot
(Elsevier, 2000)
This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ... |
Presentation
![]() Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999)
|
Presentation
![]() Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
(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
![]() Revisando el reconocedor con prefijo válido para TAGS de Schabes
(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
![]() Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ... |
Presentation
![]() A Requirements Elicitation Approach Based in Templates and Patterns
(1999)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ... |
Chapter of Book
![]() A Distributed Solution to Synchronous Multiparty Interaction
(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
![]() Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones Aplicación al Lenguaje TESORO
(1999)
Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ... |
Presentation
![]() Implementing Multiparty Interactions on a Network Computer
(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
![]() Three Geometric Approaches for representing Decision Rules in a Supervised Learning System
(Morgan Kaufmann Publishers Inc, 1999)
|
Article |
Chapter of Book
![]() Automatic Generation of Collision-Free Programs for Multiple Manipulators Using Evolutive Algorithms
(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 |
Presentation
![]() Object Oriented Specification based on Restrictions: Participation and Interaction
(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
![]() Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion
(Springer Nature, 1998)
A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ... |
Presentation
![]() Including Qualitative Knowledge in Semiqualitative Dynamical Systems
(Springer, 1998)
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ... |
Presentation
![]() Automatic Semiqualitative Analysis: Application to a Biometallurgical System
(Springer, 1998)
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ... |
Article
![]() Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado
(Asociación Española para la Inteligencia Artificial, 1998)
|
Chapter of Book
![]() Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes
(1998)
This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ... |
PhD Thesis |
Article
![]() Análisis sintáctico de TAGS usando analizadores deductivos
(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
![]() Herencia y clasificación en un lenguaje de especificación orientado a objetos
(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
![]() A Review of Earley-Based Parser for TIG
(Springer, 1998)
Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ... |
Article
![]() Search and Linguistic Description of Connected Regions In Quantitative Data
(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 |
Presentation
![]() Parsing TAGs with Prolog
(dblp computer science bibliography, 1997)
Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) ... |
PhD Thesis |
PhD Thesis |
Article
![]() Coordinated motion planning of manipulators by evolution strategies
(WIT Press, 1995)
A method for obtaining coordinated motion plans of manipulator robots is presented. This planning can be easily implemented ... |
Presentation
![]() A Technique for Distributed Systems Specification
(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
![]() Qualitative Simulation and Automated Causal Reasoning
(International Center for Numerical Methods in Engineering, 1995)
|
Chapter of Book
![]() Qualitative modelling in ecology
(International Center for Numerical Methods in Engineering, 1995)
|
Article
![]() Software Quality Through Formal OO Specification
(WITPress, 1995)
|
Presentation
![]() Especificación orientada a objetos desde un enfoque algebraico
(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
![]() Qualitative modelling and simulations by piecewise linear analysis
(IFAC Proceedings Volumes, 1992)
Since applications of expert systems were typical in domains with no well defined models, qualitative methods for modelling ... |
Presentation
![]() Qualitative Behavior Associated to System Dynamics Influence Diagrams
(International System Dynamic Conference (ISDC), 1992)
The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative ... |
Presentation
![]() Piecewise linear analysis of an influence diagram
(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
![]() Bifurcations and aggregation in large scale systems
(IFAC Proceedings Volumes, 1987)
This paper deals with the following problem: assume that a qualitative analysis (behaviour modes, bifurcation points, type ... |
Article
![]() A case study of qualitative change in system dynamics
(Taylor and Francis, 1984)
The application of dynamical systems qualitative analysis techniques to the study of models of socio-economical systems ... |