LENGUAJES DE PROGRAMACION
Página 1 de 6. Mostramos 20 registros (del 1 al 20) de un total de 103
-
Autor: López López María VictoriaAño: 2004Universidad: POLITECNICA DE MADRIDResumenEn esta memoria se analizan procesos de especificación, diseño, implementación y corrección de algoritmos nítidos y difusos, así como el proceso de derivación de algoritmos correctos a partir ... [Sigue]
-
Autor: GARCÍA VAREA ISMAELAño: 2003Universidad: POLITECNICA DE VALENCIAResumenEste trabajo de tesis está dedicado en su totalidad a la traducción automática, una disciplina dentro de los campos de la inteligencia artifical y de la lingüística computacional y, más concret ... [Sigue]
-
Autor: INSFRÁN PELOZO CÉSAR EMILIOAño: 2003Universidad: POLITECNICA DE VALENCIAResumenEn las tres últimas décadas se han realizado muchos intentos para minimizar los problemas en la Ingeniería del Software que, directa o indirectamente, producen los síntomas de la llamada crisis d ... [Sigue]
-
Autor: LLORENS AGOST M. LUISAAño: 2003Universidad: POLITECNICA DE VALENCIAResumenEn esta Tesis Doctoral se aborda el problema de la modelización y la verificación de sistemas concurrentes sujetos a cambios dinámicos. El formalismo de base es el de las redes de Petri. En lo que ... [Sigue]
-
Autor: TOMÁS GIRONÉS JESÚSAño: 2003Universidad: POLITECNICA DE VALENCIAResumenLa traducción automática mediante métodos estadísticos está alcanzando importantes logros y presenta un futuro prometedor (Ney et al., 2000). Esta técnica trata de resolver el problema de la t ... [Sigue]
-
Autor: ESCOBAR ROMÁN SANTIAGOAño: 2003Universidad: POLITECNICA DE VALENCIAResumenLos sistemas informáticos desempeñan un papel importante en la moderna sociedad de la información. Sin embargo, la baja calidad del software y su bajo nivel de abstracción inhiben la necesaria co ... [Sigue]
-
Autor: RIVERO ALBARRAN DULCE MILAGROAño: 2004Universidad: CARLOS III DE MADRIDResumenEl contar con un acuerdo general sobre los principios arquitecturales básicos, hace posible esperar que las bases de un software común estén ya disponibles, y que tal sistema puede ser utilizado ... [Sigue]
-
Autor: GUTIÉRREZ LÓPEZ FRANCISCOAño: 2003Universidad: MALAGAResumenLOS SISTEMAS DE TIPOS PUROS FORMAN UN MARCO GENERAL PARA DEFINIR SISTEMAS DE TIPOS QUE USAN INTESIVAMENT TIPOS DEPENDIENTES. EN ESTA TESIS SE DEFINE UN CÁLCULO SE SECUENTES EQUIVALENTE A LA FORMULAC ... [Sigue]
-
Autor: ABRAHAO SILVIA MARAAño: 2004Universidad: POLITECNICA DE VALENCIAResumenLos métodos de medición de tamaño funcional (FSM) miden el tamaño del software a través de la cuantificación de los requisitos funcionales del usuario. La capacidad de cuantificar el tamaño d ... [Sigue]
-
Autor: CABEZA GRAS DANIELAño: 2003Universidad: POLITECNICA DE MADRIDResumenEl objetivo de esta tesis doctoral es diseñar y desarrollar un sistema de programación multi-paradigma de nueva generación, que esté basado en un núcleo de Programación Lógica y ofrezca soport ... [Sigue]
-
Autor: HERNANDEZ SALVADOR CARLOSAño: 2003Universidad: POLITECNICA DE MADRIDResumenActualmente los sistemas que soportan la teleconsulta entre profesionales sanitarios no forman parte del entorno del propio proceso asistencial, siendo independientes de los sistemas de información, ... [Sigue]
-
Autor: IRIBARNE MARTÍNEZ LUIS FERNANDOAño: 2002Universidad: ALMERIAResumenAunque realmente es muy complicado predecir y cuantificar el impacto que podría tener en un futuro la utilización de las prácticas de desarrollo basadas en componentes COTS en las organizaciones, ... [Sigue]
-
Autor: BECERRA TERON ANTONIOAño: 2002Universidad: ALMERIAResumenEl objetivo de la tesis es el diseño del lenguaje de bases de datos deductivo indalog, basado en el paradigma de la programación lógico funcional, y utilizando una metodología que integre y extie ... [Sigue]
-
Autor: PUIGSEGUR FIGUERAS JORDIAño: 2002Universidad: LLEIDA
-
Autor: CABRERO SOUTO DAVIDAño: 2002Universidad: A CORUÑAResumenDentro del análisis sintáctico, la utilización de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable en el desarrollo de estrategias de análisis sintáctico en entornos de pro ... [Sigue]
-
Autor: DARRIBA BILBAO VICTOR MANUELAño: 2002Universidad: A CORUÑAResumenUn problema no resuelto en el ámbito de la corrección de errores sintácticos es cuanto se debe avanzar en la entrada para validar las soluciones obtenidas. Dado que es totalmente imposible inferi ... [Sigue]
-
Autor: RIBADAS PENA FRANCISCO JOSÉAño: 2002Universidad: A CORUÑAResumenEl uso de árboles como formalismo de representación es una técnica empleada comúnmente en multitud de campos de la informática. Podemos encontrar ejemplos de su uso como estructuras de datos bá ... [Sigue]
-
Autor: FERRI RAMÍREZ CÉSARAño: 2002Universidad: POLITECNICA DE VALENCIAResumenMuchas de las aproximaciones para conseguir un comportamiento inteligente de los sistemas informáticos se basan en componentes que aprenden automáticamente de experiencias previas. El desarrollo de ... [Sigue]
-
Autor: RODRÍGUEZ-ROSELLÓ MARTINEZ MIGUEL ANGELAño: 2002Universidad: POLITECNICA DE MADRIDResumenLa tesis plantea, un nuevo paradigma de programación denominado "Semántico" y un nuevo lenguaje llamdo "mental" basado en dicho paradigma. El paradigma semántico es de tipo integrador pues hace ... [Sigue]
-
Autor: CASTILLO CASTELBLANCO SERGIO FERNANDOAño: 2002Universidad: POLITECNICA DE MADRIDResumenEn los últimos años se han realizado grandes avances tecnológicos tanto en los dispositivos de conexión a Internet como en los medios de conexión, incluyendo avances en terminales móviles y mej ... [Sigue]