TEORIA DE LA PROGRAMACION
Página 1 de 4. Mostramos 20 registros (del 1 al 20) de un total de 80
-
Autor: MACIA SOLER HERMENEGILDAAño: 2003Universidad: CASTILLA-LA MANCHA
-
Autor: MEDEROS MARTÍN JORGEAño: 2003Universidad: POLITECNICA DE MADRIDResumenEl presente trabajo estudia las limitaciones en las técnicas actuales de subdivisión de sistemas informáticos y de su emsablado. Este análisis pone en relieve deficiencias -muchas veces conocidas ... [Sigue]
-
Autor: IBRAHIM RASHED ABU DALHOUM ABDEL LATIFAño: 2003Universidad: AUTONOMA DE MADRIDResumenLa informática teórica es una disciplina básica en informática ya que la mayoría de los avances en esta ciencia se sustentan en un sólido resultado de esa materia. En su origen se situaron los ... [Sigue]
-
Autor: MARROQUÍN ALONSO OLGAAño: 2003Universidad: COMPLUTENSE DE MADRIDResumenEn el trabajo se realiza un estudio exhaustivo de una extensión con tiempo de PBC (Petri Box Calculus), que es un modelo formal de especificación de sistemas concurrentes en el que se da especial i ... [Sigue]
-
Autor: SÁNCHEZ HERNÁNDEZ JAIMEAño: 2003Universidad: COMPLUTENSE DE MADRIDResumenLa negación en programación lógica es un tema ampliamente investigado desde los inicios de este estilo de programación. En este trabajo se estudia un recurso similar para la programación lógico ... [Sigue]
-
Autor: HIDALGO HERRERO MERCEDESAño: 2003Universidad: COMPLUTENSE DE MADRIDResumenEl objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las principales características del lenguaje funcional paralelo Eden, extensión del lenguaje funcional perezoso ... [Sigue]
-
Autor: CABALLERO ROLDÁN RAFAELAño: 2003Universidad: COMPLUTENSE DE MADRIDResumenLa falta de herramientas auxiliares tales como depuradores o entornos gráficos ha sido señalada como una posible limitacion para el éxito, fuerade ámbitos puramente académicos, de los lenguajes ... [Sigue]
-
Autor: GALLEGOS SALINER ANNAAño: 2003Universidad: GIRONAResumenLa presente tesis está centrada en el uso de la teoría de la semejanza cuántica para calcular descriptores moleculares. Dichos descriptores se usan como parámetros estructurales para derivar cor ... [Sigue]
-
Autor: GARCÍA PÉREZ-SCHOFIELD JOSE BALTASARAño: 2002Universidad: VIGOResumenLos sistemas persistentes se configuran como uno de los grandes campos de investigación desde 1970, con la venida de las bases de datos orientadas a objetos. Varias razones (rendimiento, filosofía ... [Sigue]
-
Autor: FREIRE BRAÑAS JOSÉ ENRIQUEAño: 2002Universidad: A CORUÑAResumenIdentificación de las estructuras subyacentes a las categorías de Eilenberg-Moore y de Kleisli asociadas a las mónadas usadas en algunos lenguajes funcionales puros para modelizar aspectos imperat ... [Sigue]
-
Autor: JORGE CASTRO JOSE SANTIAGOAño: 2004Universidad: A CORUÑAResumenEl principal objetivo de esta tesis es la investigación de una metodología para producir software certificado, desde pruebas manuales hasta el uso de asistentes que supervisan y colaboran en el pro ... [Sigue]
-
Autor: VILLANUEVA GARCÍA ALICIAAño: 2002Universidad: POLITECNICA DE VALENCIAResumenEn muchas aplicaciones reales la verificación formal de propiedades temporales es imprescindible. En la bibliografía podemos encontrar muchos casos de estudio en los que parecían cómo las técni ... [Sigue]
-
Autor: CUESTA QUINTERO CARLOS ENRIQUEAño: 2002Universidad: VALLADOLIDResumenEsta tesis se centra en el campo de la Arquitectura de Software, una rama de la Ingeniería de Software dedicada al estudio de la estructura de los sistemas sowftware complejos. Se trata y estudia co ... [Sigue]
-
Autor: GARCÍA ARENAS M. ISABELAño: 2002Universidad: GRANADAResumenEste trabajo está motivado por la necesidad de herramientas de Computación Evolutiva que faciliten la creación de experimentos para aprovechar la potencia disponible en máquinas no locales conec ... [Sigue]
-
Autor: PITA ANDREU M. ISABELAño: 2002Universidad: COMPLUTENSE DE MADRIDResumenLas técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos niveles; en el primero se incluyen las técnicas consistentes en el desarrollo de modelos formales ... [Sigue]
-
Autor: VERDEJO LÓPEZ JOSÉ ALBERTOAño: 2002Universidad: COMPLUTENSE DE MADRIDResumenLa lógica de resscritura, propuesta por José Meseguer en 1990 como marco de unificación de modelos de computación concurrente, es una lógica para razonar sobre sistemas concurrentes con estado ... [Sigue]
-
Autor: MANTAS RUIZ JOSÉ MIGUELAño: 2002Universidad: GRANADAResumenSe aplican los conceptos de software basado en componentes al campo de la integración numérica paralela de Ecuaciones Diferenciales Ordinarias (EDOs), abordando la definición de algoritmos numér ... [Sigue]
-
Autor: JUAN FUENTE AQUILINO ADOLFOAño: 2001Universidad: OVIEDOResumenEsta tesis describe una metodología para la implantación de sistemas de métricas ad-hoc en tiempo de ejecución, permitiendo un cierto grado de separación de aspectos entre el sistema medido y e ... [Sigue]
-
Autor: CERNUDA DEL RÍO AGUSTÍNAño: 2001Universidad: OVIEDOResumenEsta tesis se inscribe en el campo de la Ingeniería de Software, y describe un sistema de verificación de componentes software que va más allá de la mera compatibilidad de signaturas, proporcion ... [Sigue]
-
Autor: CARIDAD SIMÓN SERAFÍNAño: 2001Universidad: A CORUÑAResumenEl objetivo principal de esta tesis es el estudio de los problemas originados por el mantenimiento continuo de las aplicaciones software. Se desarrolla y aporta una metodología para auditar las apli ... [Sigue]