Buscar recursos académicos

Materias / palabras clave: Ingeniería mecánica

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

Materias / palabras clave: Estadística matemática; Programas de ordenador; Mathematical statistics; Computer programs

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

Materias / palabras clave: Construction industry; Inventories; Contracts; Projects; Colombia; Interventoría; Normas; Construcción; Contratos y especificaciones; Normas técnicas

Este libro da a conocer las prácticas en el ejercicio de la interventoría técnica y administrativa para estudios, diseños y construcción de obras en adecuación de tierras. Reúne en una sola publicación un amplio ...

Materias / palabras clave: Contratos administrativos; España; Contratos de arrendamiento de obras; Legislación; Contratos de servicio; Obras públicas; Contratos y especificaciones

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

El punto de partida para los análisis que integran esta obra radica en una clara concepción de la educación como derecho. El trabajo puntualiza, en primer lugar, dos ideas en torno a lo que entendemos como educación ...

En el presente trabajo se presentan los resultados obtenidos de los estudios analíticos y de preformulación realizados en un sólido pulverulento obtenido a partir de las semillas de Cucurbita moschata Duch mediante un...

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