Buscar
Mostrando ítems 1-10 de 118
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-01)
En este artículo se propone una metodología para razonar sobre los modelos semicualitativos construidos para sistemas dinámicos con conocimiento cualitativo y cuantitativo. La información cualitativa de estos sistemas puede ...
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-11)
In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such languages are instruments that pursue one or several typi ed purposes, which include: (1) to represent ...
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 partially achieved by implementing them in a way that is independent of the way they interact. Isolating ...
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
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. Una reciente investigación realizada sobre múltiples casos de estudio tomados de la Física, la ...
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 e-- commerce, web-based applications and so on. Traditionally, classical client/server primitives have ...
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 divide the space in n-orthohedrons. This hierarchy means that obtained rules must be applied in ...
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-11)
La mayor parte de los grandes sistemas de información que están hoy funcionando en las empresas del país fueron desarrollados en los años ochenta. La irrupción de las tecnologías relacionadas con Internet, el paradigma de ...