Perfil del autor: Toro Bonilla, Miguel
Datos institucionales
Nombre | Toro Bonilla, Miguel |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Catedrático de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
174
-
Nº visitas
20486
-
Nº descargas
53502
Publicaciones |
---|
Libro
Análisis y diseño de algoritmos y tipos de datos
(Editorial Universidad de Sevilla, 2023)
Este libro está orientado a la enseñanza de la asignatura Análisis y Diseño de Datos y Algoritmos, que es la continuación ... |
Libro
Problemas, modelos, grafos y algoritmos
(Editorial Universidad de Sevilla, 2023)
Este libro está diseñado como material complementario de la asignatura Análisis y Diseño de Datos y Algoritmos, que ... |
Libro
Algoritmos y tipos de datos en C
(Editorial Universidad de Sevilla, 2023)
Los lenguajes de programación tienden a compartir las mismas ideas básicas, dado que unos y otros van tomando prestadas ... |
Libro
Fundamentos de programación: Java
(Universidad de Sevilla, 2022)
|
Libro
Fundamentos de programación: Python
(Universidad de Sevilla, 2022)
|
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando Simulación
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ... |
Ponencia
Dealing with Fixable and Non-fixable Properties in Service Matchmaking
(Springer, 2009)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ... |
Ponencia
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment
(Springer, 2009)
This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ... |
Artículo
Simulation Modeling for Service-Oriented Development
(Software Engineering Competence Center, 2008)
As a consequence of the growing customer orientation of business, organizations are now showing a big interest in the ... |
Artículo
An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
(Elsevier, 2008)
Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ... |
Ponencia
Generating domain specific aspect code for navigation from platform specific models in MWACSL
(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2008)
MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ... |
Ponencia
Hacia un modelo híbrido de simulación de la producción de software en un entorno multiproyecto
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)
La simulación del ciclo de vida de los proyectos software o de partes de éste es un activo campo de investigación en la ... |
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Ponencia
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 ... |
Artículo
From Wrapping to Knowledge
(IEEE Computer Society, 2007)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ... |
Ponencia
Improving the adaptation of web applications to different versions of software with MDA
(CEUR-WS, 2007)
The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ... |
Capítulo de Libro
Software Process Dynamics: Modeling, Simulation and Improvement
(World Scientific, 2006)
The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ... |
Ponencia
Modular Software Process Simulation Models Through Metamodeling
(World Scientific and Engineering Academy and Society, 2006)
In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ... |
Ponencia
Hacia lenguajes de metamodelado orientados a aspectos
(2006)
En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ... |
Ponencia
Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Artículo
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Tesis Doctoral |
Ponencia
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 ... |
Ponencia |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
Interval model-based diagnosis using constraint programming
(IEEE Computer Society, 2004)
|
Ponencia
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 ... |
Ponencia
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) ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
Evolutionary Learning of Hierarchical Decision Rules
(IEEE, 2003)
This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ... |
Artículo
Finding representative patterns withordered projections
(Elsevier, 2003)
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ... |
Tesis Doctoral
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
(2002)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ... |
Ponencia
Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
(Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al programador y al ingeniero ... |
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Ponencia
An Enablement Detection Algorithm for Open Multiparty Interactions
(ACM Digital Library, 2002)
Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ... |
Ponencia
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
(Springer, 2002)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ... |
Ponencia
Qualitative Comparison of Temporal Series. QSI
(Springer, 2002)
In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ... |
Ponencia |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Ponencia
Improving software process maturity through dynamic modeling and simulation
(Asociación de los profesionales de la Dirección e Ingeniería de Proyectos de España (AEIPRO), 2002)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ... |
Artículo
Repairing Syntax Errors in LR Parsers
(ACM, 2002)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ... |
Ponencia
A model for assembly sequence planning in a multirobot environment
(Elsevier, 2002)
This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ... |
Ponencia
Integrating Dynamic Models for CMM-Based Software Process Improvement
(Springer, 2002)
During the last decade software process simulation has been used to address a wide diversity of management problems. Some ... |
Artículo
A Dynamic Integrated Framework for Software Process Improvement
(Springer, 2002)
Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ... |
Artículo
A framework for semiqualitative reasoning in engineering applications
(Taylor and Francis, 2002)
In most cases the models for experimentation, analysis, or design in engineering applications take into account only ... |
Ponencia
Max-CSP Approach for Software Diagnosis
(Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ... |
Ponencia
Automatic Extraction of Semantically-Meaningful Information from the Web.
(Springer, 2002)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ... |
Ponencia
Marco dinámico integrado para la mejora de los procesos software
(Universidad Politécnica de Madrid, 2002)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ... |
Ponencia
Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements
(2002)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ... |
Ponencia
Gestión de la evolución del software. El eterno problema de los legacy systems
(Actas del Taller de Evolución del Software, 2001)
La mayor parte de los grandes sistemas de información que están hoy funcionando en las empresas del país fueron desarrollados ... |
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(Universidad de Castilla-La Mancha, 2001)
La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos ... |
Ponencia
Supervised Learning Using Instance-based Patterns
(Asociación Española para la Inteligencia Artificial, 2001)
This paper introduces a new classification algorithm of the instance-based learning type. Training records are converted ... |
Artículo
A simplified model of software project dynamics
(Elsevier, 2001)
The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ... |
Artículo |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
Comparación cualitativa de series temporales. Indice cualitativo de similitud - QSI
(Centro de Investigación en Computación IPN, 2001)
|
Artículo
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 ... |
Tesis Doctoral |
Ponencia
Mejora de los procesos software utilizando simulacion e integracion de tecnicas
(CEUR-WS.Org, 2001)
|
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Tesis Doctoral |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia |
Artículo
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 ... |
Informe
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 ... |
Tesis Doctoral
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 ... |
Capítulo de Libro
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. ... |
Capítulo de Libro
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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, ... |
Tesis Doctoral
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 ... |
Artículo
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 ... |
Artículo |
Artículo
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. ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999)
|
Ponencia
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 ... |
Artículo
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, ... |
Ponencia
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 ... |
Ponencia
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 ... |
Capítulo de Libro
Three Geometric Approaches for representing Decision Rules in a Supervised Learning System
(Morgan Kaufmann Publishers Inc, 1999)
|
Tesis Doctoral
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 ... |
Ponencia
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 ... |
Artículo |
Capítulo de Libro
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 ... |
Capítulo de Libro
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 ... |
Ponencia
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 ... |
Tesis Doctoral |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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)
|
Tesis Doctoral |
Capítulo de Libro
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). ... |
Artículo
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 ... |
Tesis Doctoral
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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) ... |
Tesis Doctoral |
Tesis Doctoral |
Tesis Doctoral |
Artículo
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 ... |
Ponencia
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. ... |
Capítulo de Libro
Qualitative modelling in ecology
(International Center for Numerical Methods in Engineering, 1995)
|
Artículo
Software Quality Through Formal OO Specification
(WITPress, 1995)
|
Capítulo de Libro
Qualitative Simulation and Automated Causal Reasoning
(International Center for Numerical Methods in Engineering, 1995)
|
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |