Buscar recursos académicos

UML (Unified Modeling Language) is one of the most used languages to specify and document informatics applications. However, UML is a generalpurpose language, so it often lacks of elements to model and represent concrete...

Esta tesis brinda un modelo de análisis de requerimientos en el que se intenta descubrir los cruces de requerimientos en las primeras etapas del desarrollo del software. Básicamente el proceso propone facilitar la doc...

En esta tesis se presenta una estrategia para la definición de un modelo conceptual de objetos a partir de modelos de requisitos basados en Lenguaje Natural. Más precisamente, se utilizan modelos pertenecientes a la Re...

Una de las claves para el éxito de la formalización propuesta reside en ocultar la notación matemática tanto como sea posible tras la notación gráfica. Por ejemplo, debería ser posible utilizar la semántica forma...

In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this ...

El objetivo fundamental de este proyecto es la implementación de un ambiente computarizado para asistir al diseño y construcción de aplicaciones Hipermediales, que se construirá como un CASE. Para esto es necesario ...

JAD es una metodología estructurada para la definición de objetivos, requerimientos y diseño externo que expande el rol de los usuarios, característica que la destaca de las otras técnicas de análisis y diseño de ...

At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...

"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 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 ingeniería del Software permite el desarrollo de herramientas que pueden ayudar en el entrenamiento y la introducción de este tipo de tecnologías. La presente obra muestra el desarrollo de un sistema de asistencia...

"Es posible alertar a los médicos de la existencia de interacciones medicamentosas por medio de sistemas de soporte para la toma de decisiones. En el Hospital Italiano de Buenos Aires se ha desarrollado un sistema de H...

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...

El Desarrollo de Software Dirigido por Modelos o MDD (Model Driven Development), plantea una nueva forma de entender el desarrollo y mantenimiento de sistemas de software con el uso de modelos como principales artefactos...