The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

Hoy día, el reuso de sistemas de aplicaciones es a menudo la técnica más efectiva. Implica la reutilización de activos de grano grueso que pueden ser configurados para crear un nuevo sistema.
En general, existen dos tipos de reuso de…

Tanto la programación orientada a objetos como la programación funcional son paradigmas muy estudiados que contribuyen a la construcción de mejor software. Aquí se presenta un estudio sobre el lenguaje O’Haskell, el cual combina elementos de ambos paradigmas para brindar…

In spite of years of research and development, formal structured estimation of time and effort required to develop a Management Information System (MIS) is still an open problem. Usual estimation techniques applied by now are supported by the not so…

El objetivo de este subproyecto es realizar investigación y desarrollo en temas relacionados con los aspectos de Ingeniería de Software que se orientan al desarrollo e implementación de proyectos concretos de Sistemas Distribuidos, manejo de datos físicamente distribuidos y soluciones…

En el presente trabajo tomamos como punto de partida la noción de plausibilidad en el sistema de razonamiento plausible propuesto por Rescher [7]. A partir de este sistema se desarrollan esquemas alternativos para la selección de un conjunto de datos…

Esta línea de investigación se centra en el estudio y desarrollo de Sistemas Inteligentes basados en mecanismos de adaptación. Actualmente el énfasis está puesto en la transferencia de tecnología a las áreas de minería de datos, procesamiento de señales y…

This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…

Este proyecto tiene por objetivo construir modelos predictivos del rendimiento académico de los estudiantes de las diversas carreras de la FACENA de la UNNE. Las variables a incorporar en los modelos serán seleccionadas de acuerdo a los resultados obtenidos a…

En la actual era postgenómica, el estudio de las interacciones existentes entre proteínas resulta una pieza clave en la compresión de los complejos mecanismos moleculares presentes en los procesos biológicos. Es sabido que la información acerca de interacciones proteínaproteína mejora…