En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.
Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…

Con la evolución de las tecnologías de información y comunicación, han surgido depósitos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que además, en algunos casos,…

This article presents a brief study on the public key algorithm RSA and its vulnerabilities, setting some changes in it, taking advantage on certain well known numeric properties. This new version of the algorithm is going to be tested, compared…

Memoria del WICC 2013, realizado el 18 y 19 de abril de 2013 en Paraná (Entre Ríos). El Workshop de Investigadores en Ciencias de la Computación es organizado, a partir de 1999, por la Red de Universidades Nacionales con Carreras…

La exposición de un CRM con apoyo de un Contact Center, tiende a reproducir ciertas características de productos comerciales que se encuentran disponibles en el mercado. La aplicación que se detalla en el presente trabajo, trata de exponer algunos puntos…

Un datawarehouse es una colección de datos no volátiles, variables en el tiempo y orientado a un tema específico utilizado para tomar decisiones. La necesidad de registrar valores que permitan evaluar tendencias, variaciones, máximos y mínimos, justifican considerar en el…

Los componentes software permiten la crear aplicaciones a través de ensamblaje, y realizar ajustes y extensión al agregar o cambiar un conjunto de componentes interdependientes. Sin embargo, esta flexibilidad conlleva riesgos sino se administra cuidadosamente, dado que de otra manera…

In this position paper, the main steps to measure and evaluate quantitatively the quality of sites are shown. Besides, some specific models, criteria and procedures to apply in these activities are discussed by quoting case studies already performed (e.g., in…

Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…

Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.