SOFTWARE
Página 1 de 5. Mostramos 20 registros (del 1 al 20) de un total de 91
-
Autor: FERRE GRAU XAVIERAño: 2004Universidad: POLITECNICA DE MADRIDResumenEn el desarrollo de software está incrementándose el reconocimiento de la usabilidad como atributo de calidad clave para el éxito de un producto. Sin embargo, las técnicas pertenecientes al cam ... [Sigue]
-
Autor: ESTEBAN ANGELES JUAN LUISAño: 2003Universidad: POLITECNICA DE CATALUÑA
-
Autor: ARENAS MARQUEZ FRANCISCO JOSÉAño: 2003Universidad: SEVILLAResumenLa presente tesis doctoral se centra en el diseño y evaluación, dentro de un entorno experimental, de una aplicación interactiva que, haciendo uso de las nuevas tecnologías de la información y ... [Sigue]
-
Autor: MEDINA LÓPEZ CARMENAño: 2003Universidad: SEVILLAResumenEl objetivo genérico de esta investigación fue definido en una doble vertiente: - En primer lugar, el diseño y desarrollo de una aplicación multimedia de autoformación en justo a tiempo (JIT) co ... [Sigue]
-
Autor: CARMONA VARGAS JOSEPAño: 2003Universidad: POLITECNICA DE CATALUÑAResumenThe specification of a concurrent system describes a set of components that operate in a parallel environment and eventually interact. When modeling such concurrent behavior, the set of states that ... [Sigue]
-
Autor: PEREZ MARTINEZ JORGE ENRIQUEAño: 2003Universidad: POLITECNICA DE MADRIDResumenEl campo de la arquitectura software es una disciplina relativamente reciente dentro de la ingeniría del software. Por su novedad, no es de extrañar que la investigación sobre esta discilipna tra ... [Sigue]
-
Autor: MUÑOZ HERNÁNDEZ SUSANAAño: 2002Universidad: POLITECNICA DE MADRIDResumenEl objetivo de la tesis es validar e implementar un sistema de negación para Prolog que use a correcto, completo y eficiente. La programación lógica carece de la expresividad necesaria para captur ... [Sigue]
-
Autor: HERNÁNDEZ BALLESTEROS JUAN FRANCISCOAño: 2002Universidad: NACIONAL DE EDUCACION A DISTANCIAResumenEl trabajo de investigación ha sido concebido como una aproximación a la realidad actual de la medida de la calidad de software y con la esperanza de aportar mecanismos que permitirán un mejor y m ... [Sigue]
-
Autor: MAÑA GÓMEZ ANTONIOAño: 2002Universidad: MALAGAResumenEste trabajo de tesis realiza dos aportaciones relevantes al campo de la seguridad del software. En primer lugar, la tesis propone un mecanismo robusto de protección de software, denominado SmartPro ... [Sigue]
-
Autor: CASTRO RABAL JORGEAño: 2001Universidad: POLITECNICA DE CATALUÑA
-
Autor: ACUÑA CASTILLO SILVIA TERESITAAño: 2001Universidad: POLITECNICA DE MADRIDResumenLa importancia de la modelización del proceso software es actualmente aceptada por la comunidad de Ingenieros de Software. El objetivo de esta modelización es la obtención de modelos de proceso so ... [Sigue]
-
Autor: GARRIDO BULLEJOS JOSÉ LUISAño: 2002Universidad: GRANADAResumenEl diseño de un sistema cooperativo es una tarea compleja por la variedad de matices y propiedades que se deben preservar relativos a: usuarios (conciencia de grupo, ..), sistema (sincronización d ... [Sigue]
-
Autor: HORNOS BARRANCO MIGUEL JUANAño: 2002Universidad: GRANADAResumenEste trabajo constituye el punto de partida para la verificación automática de sistemas mediante comprobación de modelos on-the-fly, especificando los requisitos o propiedades temporales que el s ... [Sigue]
-
Autor: NAVARRO MARTÍN ANTONIOAño: 2001Universidad: COMPLUTENSE DE MADRIDResumenEsta tesis presenta un interesante trabajo en el área de la Ingeniería del Software y del desarrollo de aplicaciones hipermedia. Tras un estado del arte en el que se repasan diversos sistemas de r ... [Sigue]
-
Autor: PADILLA SORIANO NICOLÁSAño: 2001Universidad: ALMERIAResumenEl trabajo se enmarca en el estudio de los sistemas cooperativos con el objetivo de obtener un método de especificación que permita analizar propiedades generales que poseen este tipo de software ... [Sigue]
-
Autor: DÍAZ REDONDO REBECA PILARAño: 2001Universidad: VIGOResumenLa reutilización de software fue planteada en su día como una vía complementaria para la mejora de los procesos de desarrollo de sistemas, con los objetivos de aligerar todas las tareas propias d ... [Sigue]
-
Autor: GUIJARRO GUILLEN DAVIDAño: 1999Universidad: POLITECNICA DE CATALUÑA
-
Autor: ATSERIAS PERI ALBERTAño: 2001Universidad: POLITECNICA DE CATALUÑA
-
Autor: GODOY BALIL GUILLEMAño: 2001Universidad: POLITECNICA DE CATALUÑA
-
Autor: GAMEZ DOMINGO DOMINGOAño: 2001Universidad: GRANADAResumenSe estudian los dos modelos de Poincare del plano hiperbolico, definiendo las isometrias en funcion de los puntos fijos que dejan cada una de ellas. Haciendo uso de los puntos fijos de las isometria ... [Sigue]