Buscar recursos académicos

El propósito de este trabajo es mostrar y proponer un camino posible para la transformación de una aplicación Web tradicional a RIA, haciendo uso de técnicas y herramientas para especificar el viejo y nuevo estado de...

El objetivo del presente trabajo consiste en la realización de un estudio comparativo de metodologías y herramientas existentes, para la determinación de una técnica de especificación de requerimientos, específicam...

Los métodos formales se están usando actualmente para la construcción de sistemas reales, ya que contribuyen a aumentar la calidad y confiabilidad del software. Sin embargo, generalmente sólo son accesibles a especia...

En esta tesis se describe un análisis conceptual de la vinculación entre LEL, escenarios y tarjetas CRC, con el fin de determinar un conjunto de reglas que prescriban, en función de los cambios que se producen en el L...

Una caracterización de los sistemas de tiempo real es presentada en el capítulo 1 poniendo de manifiesto la complejidad de estos sistemasy de su proceso de desarrollo. Se plantea entonces la necesidad de la especificac...

Se especificará formalmente un modelo de seguridad multi-nivel, más concretamente, el modelo Bell-LaPadula, en el contexto de un módulo de control de acceso para un servidor de aplicaciones. Se implementará, además,...

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

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

Las hiperhistorias son una forma de representar la información en un ambiente multimedial en la cual la existencia en ellas de ambientes dentro de los cuales hay objetos y personajes, alguno de los cuales el niño puede...

Las suturas quirúrgicas son productos médicos (PM) fabricados con la finalidad de dar solución de continuidad a heridas de origen traumático ó quirúrgico. La palabra "sutura" describe cualquier hilo de material uti...

Objetivos: Realizar una herramienta que permita: - definir modelos de manera gráfica que reflejen los casos de prueba, permitiendo refinar los aspectos de calidad sobre los requerimientos del sistema en una etapa má...

Es difícil plasmar en pocas páginas todos los detalles y consideraciones que permitieron elaborar esta tesis. Trataré de reflexionar en lo más relevante. En primer lugar, destacar la creciente importancia de la Inge...

El presente trabajo de Tesis propone presentar un análisis sobre los protocolos y mecanismos que permiten el manejo y administración de requerimientos de calidad de servicio, QoS, sobre flujos de datos IP Multicast. De...

Registro importado desde BDTD Brasil vía VuFind API. Query: saude. Biblioteca Digital Brasileira de Teses e Dissertações.

Esta tesis tratará de demostrar que un producto del proceso de elicitación de requerimientos como el Léxico Extendido del Lenguaje (LEL) es factible de ser medido. Para ello se proponen varias mediciones de tamaño qu...

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

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

En este trabajo se ha propuesto una heurística que incluye el uso de patrones en el proceso de construcción de escenarios. La formulación y aplicación de esta heurística permitió arribar a las siguientes conclusion...

En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una im...

El trabajo de investigación aplicada que se presenta a continuación tiene como objetivo profundizar en dos grandes temas como son el procesamiento de señales de voz y el lenguaje de especificación formal SIGNAL, para...

En la actualidad un área de creciente importancia dentro de las ciencias de la computación es el relacionado con el procesamiento distribuido sobre arquitecturas heterogéneas. Dentro del área de Bases de Datos Distr...

Objetivos: • Estudiar los lenguajes específicos de dominio. En particular como se debe formalizar su definición. • Analizar la especificación de DSLs a través del metamodelado, estudiando los estándares defini...

El éxito de los lenguajes gráficos de modelado, como por ejemplo UML (Uni ed Modeling Language), se basa principalmente en el uso de construcciones gráficas que transmiten un significado intuitivo, resultando fácile...