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

Cuando en un modelo de regresión existe un error de especificación debido a una variable excluida, las estimaciones mediante el método de mínimos cuadrados generalizado (MCG) son sesgadas y el sesgo depende en forma ...

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

"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...

El trabajo presenta lineamientos para elaborar una teoría institucional de la toma de decisiones en materia de derechos que permita explicar qué autoridad se encuentra legitimada para especificarlos. Esta teoría se en...

Introducción: las enfermedades de alto costo (eac) representan un gran riesgo para el equilibrio financiero de las empresas de salud y pueden ser un factor determinante para su supervivencia en el mercado. Conocerlas me...

Un lenguaje de descripción de arquitecturas (ADL) debe ser capaz de modelar componentes, conectores y configuracionesde software con una serie de características. Los Input/Output Autómatas (IOA) no fueron creados com...

Las remesas de dólares que envían losmigrantes desde Estados Unidos manifiestan lacomplementariedad de los mercados de trabajoentre México y ese país, pues son una de lasprincipales razones que originan la migración...

Como si fuera un apaste, en este artículo exploro tres componentes en textos producidos por antropólogos: quién escribe, qué escribe y quién se acerca a eso que se ha escrito. Estas dimensiones se construyen con esp...

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.

"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and ext...

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