Buscar
Mostrando ítems 11-20 de 38
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 formalize it, and how it can be integrated with other techniques to facilitate, among other things, process ...
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 programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” ...
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 is based on the representation of software requirements in XML and the usage of the XSLT language not ...
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 domains based on evolutive algorithms. The algorithm produces a hierarchical set of rules, that is, ...
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 on the Web. The reason is that they usually provide information that is in human-readable form ...
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 métricas para la definición, implementación y posterior evaluación de diferentes mejoras del proceso. ...
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, understandability and reusability of parallel and/or distributed software. This can be achieved ...
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 is that it will allow to build economically–optimal systems whose quality level can be guaranteed. ...
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 positions where errors are detected, thus modifying the right context in order to resume parsing on ...
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 new web is not likely to be adopted in the immediate future. In this article, we present a ...