Buscar recursos académicos

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

El objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la com...

This thesis is based on a certain type of legacy software that came from scientific research. Scientists have become one of the most important legacy code producers for many reasons. One of these is long-lived field (abo...

The motivation of this work comes from a Global Climate Model (GCM) Software which was in great need of being updated. This software was implemented by scientists in the ’80s as a result of meteorological research. Wri...

El principal objetivo que persigue el trabajo es generar un framework que facilite a los ingenieros de software la representación de conocimiento en forma sencilla y entendible por todos los miembros que forman parte de...

"El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs ...

La resolución de problemas de optimización es de gran interés en la actualidad y ha motivado el desarrollo de diversos métodos informáticos para tratar de resolverlos. Existen varios problemas pertenecientes a la I...

Esta tesis se divide en seis grandes partes: Introducción, Estado del Arte: Ingeniería de requerimientos, Léxico Extendido del Lenguaje, Escenarios, Funcionalidad y Arquitectura de la Herramienta, Utilización de la H...

La complejidad de los problemas del mundo real ha llevado a que la construcción de un sistema de software debe ser precedida por la construcción de un modelo, tal como ocurre en otros sistemas ingenieriles. El modelo d...

El objetivo de esta tesis radica en definir y consolidar una estructura conceptual canónica de modelado de procesos de software, como así también personalizar un proceso de desarrollo que sirva para la comunicación y...

La complejidad de los sistemas sensibles al contexto implica un gran número de concerns de software que deben ser modelados e implementados. Estos concerns normalmente se entremezclan con el resto de los módulos produc...

El objetivo de esta tesis es introducir inteligencia en las aplicaciones sensibles a contexto. Este tipo de aplicaciones cambian su conducta dependiendo de la combinación de estímulos que recibe. Esta combinación de e...

La complejidad es una característica inherente al software desde sus orígenes, e igualmente característico es que dicha complejidad crece en consonancia con el universo de roles que desempeña en la actualidad. Perman...

El empleo masivo de productos software, impulsado en el último lustro por el crecimiento de Internet y la WWW, ha puesto a los usuarios finales como referentes potenciales para la evaluación de calidad de productos sof...

Las expectativas que los ciudadanos, las empresas y otros grupos de interés tienen sobre el gobierno electrónico y sus aplicaciones específicas tienen un impacto en las decisiones sobre el uso de tecnologías de infor...

La finalidad de este trabajo es la modelización y simulación de un sistema de control para ensayos de motores de combustión interna. Este modelo computarizado de tiempo real estará destinado a predecir el desempeño ...

Verificar que un sistema de software realiza correctamente las tareas para las cuales fue desarrollado es una de las actividades de mayor importancia en Ingeniería de Software, y concentra un significativo esfuerzo de i...

Se propone un conjunto de tres unidades de medida de software que se identificarán con los nombres Transacciones (T), Objetos de Entidad (Entity Objects, EO) y Caminos (Paths, P). Cada una de ellas capturará un atribut...

En esta tesis se presenta un enfoque para llevar a cabo un proyecto de reingeniería para personalizar aplicaciones Web existentes. A tal fin, se describe paso a paso un proceso de reingeniería compuesto por dos activid...

En esta tesis se presenta un framework para un proceso de ingeniería de requerimientos basado en lenguaje natural. Utilizando Léxico Extendido del Lenguaje (LEL), Escenario y CRC s. En el capítulo 1 se hace una intro...

En el contexto del desarrollo de software por pequeñas y medianas empresas en Iberoamérica y las dificultades de intentar aplicar estándares internacionales de calidad, se analizan los modelos que han surgido en disti...

Desde su creación los sistemas de software han sido utilizados, probados e incluso modificados. A lo largo de este período el software y los seres humanos han interactuado entre sí en forma cotidiana, no pudiéndose c...

"El presente trabajo de tesis de magister implementa un sistema de información para el apoyo a la toma de decisiones de una universidad. El objetivo principal es proveer una aplicación software del tipo inteligencia d...

En las últimas décadas han surgido numerosas propuestas que definen conjuntos de métricas de calidad para la evaluación de productos y procesos de software en distintos dominios de aplicación. También existen en la...