Buscar
Mostrando ítems 1-10 de 26
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
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
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. The main constructors in this language are the objects. An object consists of a state, a behaviour ...
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 AspectJ, y plantearsenos el hecho de reutilizar los aspectos definidos en el mismo con un nuevo ...
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 order to adapt software for these new platforms and technologies at a minimum cost some proposals ...
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 ...
Ponencia
Especificación orientada a objetos desde un enfoque algebraico
(Universidad Politécnica de Valencia, 1994-09)
Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado a objetos, desde el punto de vista de un lenguaje de especificación formal. Mostramos algunas ...
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-04)
En este trabajo se propone una nueva tecnología para automatizar el análisis y el estudio de modelos con restricciones que integran conocimiento cuantitativo y cualitativo construidos para sistemas que evolucionan en el ...
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 motivated by the lack of quantitative knowledge in determined parameters or variables of the model. We ...