Buscar
Mostrando ítems 1-10 de 38
Ponencia
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 is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(Universidad de Castilla-La Mancha, 2001-11)
La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se seleccionan infinitamente a menudo. Esta ...
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 a technological change, of different management policies, and of maturity level of organisations ...
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 a fomentar un enfoque más riguroso de la gestión. En este trabajo presentamos la estructura y los ...
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 in the form to compare temporal series with the incorporation of qualitative knowledge by ...
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 interesting characteristics: important reduction of the number of examples from the database; lower ...
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 knowledge. This qualitative information may be composed by: operators, envelope functions, ...
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 on natural language parsing techniques but on the representation of requirements in XML. In our ...
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 contains. However,c urrent trends seem to suggest that it is not likely to be adopted in the ...