This paper focuses on the difficulty for university students to acquire, within computational thinking, the skills to solve ...

In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source ...

Semantic labelling refers to the problem of assigning known labels to the elements of structured information from a source ...

Through semantic labelling we enrich structured information from sources such as HTML pages, tables, or JSON files, with ...

Achieving efficiency both in terms of resource utilisation and energy consumption is acomplex challenge, especially in ...

En este trabajo presentamos una experiencia docente, y el recurso docente correspondiente, que hemos seguido durante el ...

As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...

Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...

Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...

Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...

Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...

Actualmente, cada vez son más las organizaciones de soporte TI que recurren a ITIL (Information Technology Infraestructure ...

En un mundo profundamente interconectado y globalizado, uno de los principales retos a los que se tiene que enfrentar la ...

MWACSL es una propuesta orientada a aspectos y dirigida por modelos para el desarrollo de aplicaciones web, cuyo acrónimo ...

Las técnicas de modelado y simulación ofrecen la posibilidad de experimentar diferentes decisiones y analizar sus resultados ...

This paper presents a dynamic simulation model applied within the field of web services capacity management. The main ...

Service Oriented Architecture (SOA) holds promise for business agility since it allows business process to change to meet ...

Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ...

In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...

Actualmente, cada vez son más las empresas proveedoras de servicios TI que recurren a ITIL (Information Technology ...

This paper describes SimHiProS, a hybrid simulation model of software production. The goal is to gain insight on the ...

Accurate and early estimations are essential for effective decision making in software project management. Nowadays, ...

As a consequence of the growing customer orientation of business, organizations are now showing a big interest in the ...

MWACSL1 is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL ...

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 ...

Para sobrevivir en el mercado, las compañías han de adaptarse de forma rápida a los cambios de tecnología. Esta rápida ...

One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources ...

The Model-Driven Architecture (MDA) has been proposed as a way of separating the details of an implementation platform ...

In this paper we present the main concepts and principles of a multilevel architecture to help in the development of ...

The aim of this chapter is to introduce the reader to the dynamics of the software process, the ways to represent and ...

En este artículo se propone la extensión de los lenguajes de metamodelado con constructores de la orientación a aspectos. ...

Feature models are widely used to represent product lines and they are key parts of the development process in agile ...

En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas ...

Assembly Sequence Planning is tackled by modelling and solving a planning problem that considers the execution of the plan ...

The incredible successfulness of the Internet has paved the way for an industry devoted to developing and running web ...

A tool to obtain a classifier system from labelled databases is presented. The result is a hierarchical set of rules to ...

La industria del software se tiene que enfrentar a la rápida evolución del entorno tecnológico como al cambio de los ...

In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ...

El papel que desempeñan los modelos en la Ciencia moderna ha sido tradicionalmente un tema de gran interés para la Filosofía. ...

Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In ...

Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...

In the last several years, software industry has undergone a significant transition to the use of existing component ...

In this paper we present an integrated framework for software process improvement according to CMM. The framework is ...

Interaction has been proved one of the main sources of complexity in Multi-Agent Systems (MAS) and many researches are ...

Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to ...

The semantic web shall enable web agents an efficient, precise, and comprehensive extraction of knowledge. Nevertheless, this ...

The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...

Este art´ıculo cuenta nuestra experiencia obtenida tras haber realizado un proyecto utilizando la tecnolog´ıa de aspectos ...

As government agencies and business become more dependent on web services, software solutions to automate their procurement ...

The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be ...

In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...

In this paper, we present an operator to model interactions among objects. Our proposal allows a variable number of ...

The selection of attributes used to construct a classification model is crucial in machine learning, in particular with ...

In this paper, we present a new framework to extract knowledge from today’s non-semantic web. It associates semantics with ...

This work presents a genetic algorithm for assembly sequence planning. This problem is more difficult than other sequencing ...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...

This paper describes an approach based on evolutionary algorithms, hierarchical decision rules (HIDER), for learning rules ...

This work presents the application of Constraint Programming to the problem of selecting and sequencing assembly operations. ...

Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...

This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...

En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ...

De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...

En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...

This paper presents a model for the selection of optimal assembly sequences for a product in multirobot systems. The ...

This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...

This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...

In this paper, the study of systems that evolve in time by means of the comparison of time series is proposed. An improvement ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as ...

Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...

Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for ...

In this article, we present an approach for the automatic verification of software requirements documents. This approach ...

Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic ...

In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...

In this paper is proposed a semiquantitative methodology to study models of dynamic systems with qualitative and quantitative ...

The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...

Current software process models (CMM, SPICE, etc.) strongly recommend the application of statistical control and measure ...

In software development is essential to have tools for the software diagnosis to help the programmers and development ...

During the last decade software process simulation has been used to address a wide diversity of management problems. Some ...

The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...

In most cases the models for experimentation, analysis, or design in engineering applications take into account only ...

Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de ...

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...

La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos ...

La mayor parte de los grandes sistemas de información que están hoy funcionando en las empresas del país fueron desarrollados ...

This paper introduces a new classification algorithm of the instance-based learning type. Training records are converted ...

The simulation of a dynamic model for software development projects (hereinafter SDPs) helps to investigate the impact of ...

The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...

Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a ...

La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...

La gestión de proyectos se puede considerar todavía como un arte en el cual el uso de la información cuantitativa tiende ...

This paper presents a new approach to data set editing. The algorithm (EOP: Editing by Ordered Projection) has some ...

The use of dynamic models and simulation environments in connection with software projects paved the way for tools that ...

La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...

Reliability and availability are very important trends in the development process of distributed systems. In order to ...

El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...

La detección y diagnosis del funcionamiento anómalo de mecanismos son importantes debido a las actuales demandas económicas ...

Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross–cutting ...

In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...

A method for obtaining coordinated motion plans of robot manipulators is presented. A decoupled planning approach has been ...

En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...

A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...

En este trabajo se propone una nueva tecnología para automatizar el análisis y el estudio de modelos con restricciones que ...

Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grammars) son una extensión de las gramáticas independientes ...

Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...

Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be ...

This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete ...

Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...

En esta tesis se propone una nueva metodología para automatizar el análisis y el estudio de modelos con restricciones que ...

Los objetivos de este documento son, en primer lugar, presentar un Modelo Dinámico Reducido (en adelante, MDR) para Proyectos ...

A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...

Generalmente, el uso de modelos para el estudio y análisis de sistemas económicos y de otras disciplinas, tienen en cuenta ...

A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ...

Esta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las ...

The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. ...

En este artículo se propone una nueva metodología pensada para obtener los patrones de comportamiento de los modelos ...

This paper presents a generic natural language interface that can be applied to the teleoperation of di!erent kinds of ...

Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los ...

Garantizar la calidad del prefijo válido en el reconocimiento de lenguajes para Gramáticas de Adjunción de Árboles (TAG, ...

Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...

One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...

Multiparty interactions are the key to describe problems where three or more processes need to collaborate simultaneously ...

Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos ...

Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...

A method based on Evolutionary Algorithms for obtaining coordinated motion plans of multiple manipulator robots using a ...

We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ...

A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled ...

A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative ...

The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented ...

This article describes a new system for learning rules using rotated hyperboxes as individuals of a genetic algorithm (GA). ...

La definición de analizadores sintácticos utilizando sistemas deductivos (analizadores deductivos), supone un enfoque con ...

Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ...

Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that ...

The aim of this paper is to resume a great volume of quantitative knowledge in a qualitative model formed by linguistic ...

Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) ...

A method for obtaining coordinated motion plans of manipulator robots is presented. This planning can be easily implemented ...

In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. ...

Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado ...

Since applications of expert systems were typical in domains with no well defined models, qualitative methods for modelling ...

The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative ...

To each causal diagram, and the structure that it represents, a dynamical system can be associated. From its qualitative ...

This paper deals with the following problem: assume that a qualitative analysis (behaviour modes, bifurcation points, type ...

The application of dynamical systems qualitative analysis techniques to the study of models of socio-economical systems ...