SOFTWARE

Autor: VILLALOBOS ABARCA MARCO ANDRES.
Año: 2003.
Universidad: POLITÉCNICA DE MADRID [www.upm.es].
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTADA DE INFORMATICA.

Resumen: En esta tesis se ha definido un Modelo para Desarrollar Sofwarre Educativo Curricular (MDSWEC)con base en el enfoque de trabajo colaborativo y un entorno que soporta tal modelo. Inicialmente se define un modelo colaborativo genérico con base en un conjunto de enfoques teóricos que fundamentalmente el diseño de sistemas de Trabajo Colaborativo Soportador por Computadora(Computer supported cooperative work[CSCW]).Los componentes básicos del modelo son los comceptos de Lugar de Actividad , Trayectoria de Actividades Pocedimiento Colaborativo y las relaciones entre ellos.El modelocolaborativo es especializado hacia el desarrollo de SWEC mediante la definición de un proceso y equipo de desarrollo de este tipo de aplicaciones.El proceso y equipo se derivaron del estudio de las bases de la enseañanza asistida por computadora (Computer Assisted Learning[CAL]) y de algunas propuestas demodelos para desarrollar SWEC.El modelo genérico fue comparado con el trabajo relacionado identificándose de bilidades y fortalezas que permitieran mejorar nuestro modelo. En el entorno , denominado Sinergia, un equipo multidisciplinario de desarrollo de SWEC puede hacer uso dediversos mecanismos de comunicación (tales como videoconferencia o un chat);administrar el seguimiento de las actimvidades del equipo e individuales , en términos de la definición, visualización y ejecución de modelos de proceso de desarrollo (etapas/tareas);obtener una conciencia de grupo por parte del losintegrantes del equipo de desarrollo a través de anotaciones relacionadas con las acciones que se realizan sobre artefactos construidos en un determinado momento, o a través de motificacinoes de la ocurrencia de eventos en el proceso de desarrollo de SWEC ; y registrar la información del proceso de desarrollo comotambión de los artefactos producto y su historia , en una basr de datos. Sinergí ha sido desarrollo mediante un enfoque de prototipos evolutivos para la Web y con una arquitectura de tres niveles,con tecnologías tales como HTML.Sevelts, JSP, y una abase de datos relacional. Además , en cada iterción del prototipo se han realizado pruebas de funcionalidad y de usabilidad que han permitido su mejora.Además de las pruebas el entorno fue compardo con el traabajo realcinado identificado debilidades y fortalezas que permitieron su mejora.Finalmente , el entornpo fue sometido a una evaluación sumativa para comprovar su utilidad práctica y la validez de las propuestas que sutentan estetrabajo de investigación . El modelo y su emfoque de colaboración subyacente (incorporado en sus diferentes elementos)han demostrado ser ujn sólido genérico y novedoso mecanismo de coordinación.El modelo es la base de la arquitectura y dimámica del sistema Sinergia que, además integradas con mecanismo de comunicación , percepcion y memoria de grupo, y definición de modelos de procesos un entorno útil y efectivo par apoyar el desarrollo colaborativo de sofware.

Autor: SIERRA RODRÍGUEZ JOSÉ LUIS.
Año: 2003.
Universidad: COMPLUTENSE DE MADRID [www.ucm.es].
Centro de lectura: FACULTAD DE INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA UCM.

Resumen: Esta Tesis defiende la factibilidad de producir aplicaciones mediante el procesamiento automático de su documentación, abriendo, de este modo, el camino hacia lo que se denomina un paradigma documental de construcción de aplicaciones. El desarrollo de una aplicación, según este paradigma, comienza describiendo sus aspectos más relevantes mediante uno o varios documentos. Seguidamente, dichos documentos se marcan mediante un lenguaje de marcado descriptivo específico que depende del dominio y de la funcionalidad de la aplicación. La aplicación en sí se produce procesando su documentación con un procesador adecuado para el lenguaje utilizado en el marcado de la misma. El desarrollo de esta Tesis se lleva a cabo en cinco etapas: * CONTEXTUALIZACIÓN DE LA TESIS Para ello se revisan los aspectos más relevantes de los lenguajes de marcado descriptivo, de sus procesadores, así como de la aproximación al desarrollo de software basada en lenguajes específicos del dominio. El papel de los lenguajes de marcado descriptivo en esta Tesis es el de explicitar la estructura lógica de la documentación de las aplicaciones. De esta forma, los procesadores para dichos lenguajes permiten producir la documentación de las aplicaciones. De esta forma, los procesadores para dichos lenguajes permiten producir las aplicaciones a partir de dicha documentación. Por último, los aspectos relativos a la aproximación basada en lenguajes específicos sientan la base para la formulación y operacionalización de los lenguajes de marcado utilizados en cada dominio de aplicación. * FORUMULACIÓN DE LA APROXIMACIÓN ADDS La aproximación ADDS (Aproximación Documental al Desarrollo de Software) es una realización pragmática del paradigma documental, según la cuál los lenguajes utilizados para marcar los documentos de las aplicaciones evolucionan conforme a las necesidades, tanto de los expertos que proporcionan dichos documentos, como de los desarrolladores que los procesan. * FORMULACIÓN DEL MODELO DE OPERACIONALIZACIÓN OADDS El carácter evolutivo de los lenguajes de marcado en ADDS se refleja, a nivel operacional, en un modelo de procesamiento orientado al desarrollo incremental de procesadores moduladores a partir de componentes que pueden extenderse y combinarse conforme el lenguaje evoluciona. Este modelo se denomina OADDS (Operacionalización en ADDS). * REALIZACIÓN DE OADDS COMO UN MARCO ORIENTADO A OBJETOS OADDS es independiente de tecnologías de implementación concretas. No obstante, en esta Tesis dicho modelo se concreta y realiza de manera directa y compacta como un marco orientado a objetos. * APLICACIÓN DE ADDS A LA CONSTRUCCIÓN DE PROCESADORES OADDS En la construcción de procesadores OADDS puede aplicarse el propio paradigma documental para describir procesdores mediante documentos marcados.

Autor: ESTEBAN ANGELES JUAN LUIS.
Año: 2003.
Universidad: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Centro de lectura: FIB.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS, CAMPUS NORD UPC.

Resumen: El Capítulo 1 presenta la mayoría de los conceptos que se usarán más adelante. Comenzamos explicando el origen de la Complejidad de la Demostración. Luego definimos los sistemas de demostración y medidas de complejidad consideradas en esta obra. También reseñamos resultados de Complejidad de la Demostración y listamos nuestros propios resultados. El Capítulo 2 trata de resultados acerca de tamaño para Resolución, R(k), y Planos Secantes, que incluyen cotas de espacio inferiores y superiores que cuando están relacionadas proporcionan separaciones entre diferentes sistemas de demostración o entre las versiones en árbol y general de un mismo sistema de demostración. El Capítulo 4 es corto y en él recapitulamos nuestros resultados y sugerimos problemas relacionados con nuestro trabajo que consideramos interesantes. También aparece una tabla de cotas inferiores y superiores de tamaño y espacio incluyendo nuestros resultados. Esta tabla facilita ver cuáles han sido nuestras contribuciones a la Complejidad de la Demostración. Los resultados aparecieron en [BEGJ]. En esta sección mejoramos la separación entre las versiones en árbol y generales de Resolución y Planos Secantes. Para hacerlo, extendemos una cota inferior de tamaños para circuitos booleanos monótonos de Ran y McKenzie a circuitos reales monótonos. Este tipo de separaciones resulta interesante puesto que muchos demostradores automáticos de teoremas se basan en la versión en árbol de sistemas de demostración, así la separación muestra que no siempre es una buena idea restringirse a la versión en árbol. Lo que hacemos es demostrar cotas inferiores exponenciales para Planos Secantes en árbol para ciertas fórmulas usando la propiedad de la interpolación monótona factible, que son a su vez cotas inferiores para la Resolución en árbol. Para obtener la separación mostramos cotas superiores polinómicas en Resolución para las mismas fórmulas, que son a su vez cotas superiores para Planos Secantes. De hecho no solo separamos Resolución de Resolución en árbol, también separamos Resolución en árbol de ciertas restricciones de Resolución como Resolución regular y negativa. La separación entre Resolución en árbol y Resolución fue mejorada posteriormente por BenSasson, Impagliazzo y Wigderson. La tercera sección muestra una relación entre R(2) y las refutaciones en Resolución del Principio Pigeonhole. El resultado no está publicado. Demostramos que las cotas inferiores en R(2) para el Principio Pigeonhole con n palomares y n^(1.5) palomas proporciona cotas inferiores en Resolución para el Principio Pigeonhole con palomares y n*n palomas. Fue un nuevo intento de resolver un problema abierto desde hace mucho tiempo. Naturalmente no sabemos si esta aproximación hubiera hecho más fácil la demostración, pero como el Raz y Razborov resolvieron el problema independientemente mientras trabajábamos en él abandonamos dicha aproximación. La cuarta sección se llama "Sixe and Treelike ( R)k. Los resultados se publicaron en [EGM]. Se sabía que R(2) era más potente que Resolución y R(2) en árbol más potente que Resolución en árbol, por tanto una pregunta natural era averiguar si se puede separar niveles sucesivo de R(k) o de R(k) en árbol. Mostramos separaciones exponenciales entre niveles sucesivos de los que ya podemos llamar la jerarquía R (k) en árbol. Esto significa que hay fórmulas que requieren refutaciones en R(k) de tamaño exponencial mientras que tienen refutaciones de tamaño polinómica en R (k+41). Esta separación también vale entre R(2) en árbol y Resolución en árbol Relacionado con este resultado, Segerlind, Biss e Impaglilazzo demostraron que R8k) forma una jerarquía respecto al tamaño, extendido así nuestro resultado. También demostramos que R81) domina R8k) en árbol. Es un caso particular de una simulación de Krajicek, pero demostramos que un incremento por un factor de 2, independiente de k, basta.

Autor: BALLIS DEMIS.
Año: 2004.
Universidad: POLITÉCNICA DE VALENCIA [www.upv.es].
Centro de lectura: DEPTO. DE MATEMÁTICA E INFORMÁTICA.
Centro de realización: DEPTO. SISTEMAS INFORMÁTICOS Y COMPUTACIÓN.

Resumen: La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para la verificación y la corrección de datos y programas. Generalmente, establecer si un programa se comporta según las intenciones originales del programador o controlar la consistencia y la corrección de grandes conjuntos de datos no son tareas triviales, como atestiguan los numerosos casos de estudio que encontramos en la bibliografía. En esta tesis, abordamos dos problemas abiertos de verificación y corrección. En concreto, la verificación y corrección de programas declarativos y la verificación y corrección de sitios Web (es decir, conjuntos de datos semiestructurados). En primer lugar, se ha definido un esquema general para la corrección automática de programas declarativos basados en reglas, que explota una combinación de técnicas de aprendizaje inductivo top-down y bottom-up. Nuestra metodología híbrida es capaz de inferior correcciones que son arduas, o incluso imposibles, de conseguir con un sistema más simple de aprendizaje automático puramente top-down o bottom-up. Además se ha particularizado el esquema general a dos paradigmas de programación declarativa bien conocidos: el paradigma lógico funcional y el paradigma funcional. En segundo lugar, se ha formalizado un marco para la verificación autonómica de sitios Web, que se puede usar para especificar condiciones de integridad sobre ellos, y luego comprobar automáticamente si estas condiciones se satisfacen. Por un lado, hemos definido un lenguaje de especificación basado en reglas, que permiten definir propiedades tanto sintácticas como semánticas de un sitio Web. Por otro lado se ha formalizado una técnica de verificación que detecta patrones incorrectos/prohibidos y carencia de información, es decir páginas Web incompletas o ausentes. Durante el proceso de verificación, se recoge información útil, que puede ser usada para la reparación del portal. Por lo tanto, después de la fase de verificación, también es posible inferir algunas posibles correcciones para arreglar de manera semi-automática el sitio Web erróneo. Nuestra metodología se fundamenta en una nueva técnica basada en reescritura (partial rewriting), en la cual se reemplaza el tradicional mecanismo de pattern matching con una técnica de ajuste más conveniente (tree simulation) que facilita el reconocimiento de patrones en un documento semiestructurado.

Autor: FUENTES FERNÁNDEZ RUBEN.
Año: 2004.
Universidad: COMPLUTENSE DE MADRID [www.ucm.es].
Centro de lectura: FACULTAD DE INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Las metodologías de la Ingeniería del Software Orientada a Agentes (ISOA) han abordado aspectos sociales e intencionales en Sistemas Multi-Agente (SMA) mediante técnicas tradicionales de desarrollo, procedentes de otros paradigmas, o con técnicas específicas centradas en parcelas aisladas de estos aspectos. Sin embargo, este tipo de soluciones no son satisfactorias. La primera opción no está completamente adaptada a esta clase de aspectos, distintos de los tradicionales artefactos de la Ingeniería del Software. La segunda ha dado lugar un problemas al trabajar con propiedades sociales e intencionales que afectaban a múltiples facetas del SMA. Para abordar los problemas en el tratamiento de estas propiedades, esta tesis propone usar un marco integrador que aborde los aspectos sociales e intencionales de los SMAs de forma global, tanto a nivel individual como de comunidad. Este marco está inspirado por la Teoría de Actividad (TA). Se trata de una propuesta conceptual y metodológica que se usa para el análisis de individuos y sociedades en las disciplinas sociales. La TA estudia propiedades similares a las que centran nuestro interés en la ISOA pero en las sociedades humanas. A partir del conocimiento y técnicas de la TA se han definido lenguajes de modelado y estructuras para representar el conocimiento de la TA, así como métodos para la captura de información y la resolución de contradicciones en las especificaciones de SMAs. Estos métodos están concebidos como herramientas de ayuda para las metodologías existentes en la ISOA. Sobre el ciclo de desarrollo de la metodología tiene lugar un trabajo permanente de traducción de las especificaciones a los conceptos propios de la TA, captura de nuevo conocimiento y/o verificación centrada en los aspectos sociales e intencionales del SMA y traducción de nuevo a la metodología de agentes. De este modo los desarrolladores pueden trabajar sobre el sistema con las técnicas que deseen: las de la metodología de la ISOA o las de la TA. Al mismo tiempo cuentan con el apoyo de un cuerpo de conocimiento basado en las ciencias sociales para trabajar sistemáticamente con problemas propios del paradigma de agentes, tales como motivación, organización, liderazgo evolución, capacidades cognitivas, aprendizaje, leyes o confianza.

Autor: PEREZ CAMAÑO JUAN LUIS.
Año: 2004.
Universidad: POLITÉCNICA DE MADRID [www.upm.es].
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA . UNIVERSIDAD POLITECNICA DE MADRID..

Resumen: El presente trabajo de Tesis Doctoral describe el desarrollo de un sistema computacional que permite de forma robusta y eficiente el control y previsión de la contaminación atmosférica para diferentes fuentes emisoras. La principal motivación para su ejecución ha sido tratar de dar una respuesta a las crecientes exigencias en temas de calidad del aire de las autoridades ambientales (Unión Europea, Nacionales , Comunitarias ,Municipales, etc) construyendo un sistema con capacidad para realizar predicciones de calidad del aire y evaluar el impacto de diversas fuentes emisoras, en modo operacional y tiempo real, que ayude al planteamiento de estrategias efectivas de reducción de la contaminación. La complejidad y elevada no linealidad de los procesos físicos, químicos , biológicos , etc.presentes en la dinámica atmosférica requiere el uso de modelos numéricos con elevados requerimientos computacionales. En el presente trabajo se han integrado los modelos MM5 (PSU/NCAR,USA)EMMO (Emision Model, UPM,España)y CMAQ (Community Multiscale Air Quality modelling system, EPA, USA). El proceso d eintegración ha requerido la investigación y desarrollo de una serie de módulos de adaptación , dirigidos normalmente a la generación de forma consistente de cada uno de los datos de entrada que requerido la investigación y desarrollo de una serie de módulos de adaptación , dirigidos normalmente a la generación de forma consistente de cada unos delos datos de entrada que requieren los diferentes modelos. Para la interpretación de la información obtenida se ha desarrollado un sofisticado Sistema de Información, Análisis y Post-procesado que permite el acceso a la gran cantidad de información obtenida , para lo cual se ha utilizado los últimos avances en Tecnologías de la información. La herramienta desarrollada se ha utilizado en diferentes aplicaciones reales donde se ha comprobado su utilidad y eficiencia , además de comprobar la solidez, robustez y fiabilidad mediante procesos de validación y calibración.

Autor: ECHAGUE GUARDIOLA JUAN JESUS.
Año: 2004.
Universidad: JAUME I DE CASTELLON [www.uji.es].
Centro de lectura: E.S. TECNOLOGIA Y CIENCIAS EXPERIMENTALES.
Centro de realización: E.S. TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: El incremento de la demanda de transmisión de aplicaciones multimedia a través de redes conmutadas de paquetes, tales como Internet, ha provocado una línea de investigación en el análisis de las condiciones que permiten ofrecer Calidad de Servicio (QoS) a dichas aplicaciones. El concepto de QoS está asociado garantizar el retardo extremo a extremo, porcentage de pérdida de paquetes, garanizar el ancho de banda, etc. La QoS en redes de conmutación de paquetes depende principalmente de la topología de la red, el algoritmo de planificación de paquetes, y en el flujo de datos que llegan al sistema. El algoritmo de planificación de paquetes FIFO es el más empleado en las redes de conmutación de paquetes debido a su sencillez y a su simplicidad de implementación. Desafortunadamente, el protocolo FIFO, incluso cuando se limitan los flujos de entrada, puede provocar situaciones en las que no se puede acotar ni el retardo extremo a extremo ni el tamaño de lo buffers para almacenar paquetes (situación de inestabilidad en la red); imposibilitando la capacidad de garantizar los tiempos máximos de transmisión ni el porcentage de pédida de paquetes. Esta tesis presenta contribuciones para incrementar el estado del arte relacionado con el anális de estabilidad de redes de conmutación de paquetes en las que se usa el protocolo de planificación de paquetes FIFO. El modelo de sistema es común y pretende reflejar su aplicación a la arquitecturas de Internet y las redes digitales de servicios integrados.

Autor: LOPEZ PEÑA PEDRO.
Año: 2004.
Universidad: POLITÉCNICA DE MADRID [www.upm.es].
Centro de lectura: FACULTAD DE INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El software esta siendo una parte cada vez mayor de nuestra vida diaria, también en cuestiones críticas. Hay técnicas que buscan obtener un software libre de errores o intentan que un fallo de software pueda causar consecuencias catastróficas. El uso sistemático de las mismas requiere una taxonomía de fallos software. Hay clasificaciones en diferentes dominios como sistemas espaciales o nucleares, sin embargo no existe una taxonomía de fallos software que cubra todos los tipos de fallos software accidentales. El objetivo de esta tesis es definir una clara y completa taxonomía que ayudará a comprender mejor los fallos software y sus origenes, establecientes las bases para una análisis completa y sistemático del software y para mejores soluciones tolerantes a fallos buscando un software más fiable y seguro. Esta tesis propone una taxonomía de fallos software, basados en un análisis del desarrollo de software y basado en las clasificaciones de fallos software existentes. Este Taxonomía de fallos software (TSF) proporciona 4 puntos de vista y clasifica los fallos conforme a 8 dimensiones.

Autor: MONTERO MORENO SUSANA.
Año: 2004.
Universidad: CARLOS III DE MADRID [www.uc3m.es].
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: Los métodos de diseño hipermedia asisten al diseñador a través de una serie de fases y productos. Sin embargo, un diseñador, tanto si es experto como no, puede llegar a tomar una solución inadecuada a un determinado problema de diseño que puede ser perjudicial para el usuario. Los patrones de diseño son ese mecanismo que puede ayudar a aliviar tanto el acometido de nuevos desarrollos como la dificultad en la toma de decisiones para la mejora de sistemas ya existentes, en tanto en cuanto puedan integrarse de forma eficiente con los métodos de diseño y sean accesibles de manera efectiva a los diferentes integrantes del equipo de desarrollo. Para resolver estas carencias, el primer objetivo de esta tesis ha sido organizar el conocimiento de los pdh, proporcionando unos criterios de clasificación, un catálogo de patrones, un lenguaje de patrones y un marco de integración con los métodos de diseño, en el cual un conjunto de pasos guían una aproximación basada en patrones que permite transformar la especificación de requisitos en entidades de diseño en el modelado conceptual, gracias a las soluciones capturadas por los patrones. Además para poder automatizar este conjunto de herramientas se ha propuesto un modelo de representación semántico basado en ontologías que permite mantener enlazada la representación textual del patrón mediante anotaciones, haciendo a los patrones mutuamente comprensibles a diseñadores y a programas.

Autor: ROSSAINZ LOPEZ MARIO.
Año: 2004.
Universidad: GRANADA [www.ugr.es].
Centro de lectura: E.T.S. INGENIERIA INFORMATICA..
Centro de realización: E.T.S INGENIERIA INFORMATICA.

Resumen: Bajo un ambiente de Objetos Paralelos, un enfoque de Programación Paradigma de la Orientación a Objetos, se propone un método de programación basado en Composiciones Paralelas de Alto Nivel o CPANs mediante clases. Se utilizan los modos de comunicación síncrono, asíncrono y futuro asíncrono del modelo de Objetos Paralelos, los patrones de comunicación/interacción predefinidos del enfoque estructurado, la encapsulación y la abstracción de la Orientación de Objetos, para proporcionar reusabilidad a dichos patrones, junto con un conjunto de restricciones predefinidas de sincronización entre procesos (maxpar, mutex y sync). Se explica la implementación de los patrones de comunicación más comúnmente utilizados, mediante la aplicación del método, los cuales conforman una biblioteca de clases, susceptibles de ser utilizadas en aplicaciones dentro del entorno de programación del C+++ y del estándar POSIX de programación con threads. La presente investigación centra su atención en los Métodos de Programación Paralela Estructurada, proponiendo una nueva implementación con C+++ y la biblioteca de hebras POSIX del método de programación basado en el modelo de las Composiciones Paralelas de Alto Nivel o CPSNs de Corradi y colegas, el cuál se basa en el paradigma de Orientación a Objetos para resolver problemas paralelizables utilizando una clase de objetos activos concurrentes. En este trabajo se propone una biblioteca de clases que proporciona al programador los patrones de comunicación/oteracción más comúnmente utilizados en la programación paralela, en particular, el patrón del pipeline, el patrón denominado farm y el patrón tree de la técnica de diseño de algoritmos, conocida como divide y vencerás.

Autor: ARJONA FERNÁNDEZ JOSÉ LUIS.
Año: 2004.
Universidad: SEVILLA [www.us.es].
Centro de lectura: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: En los últimos años la web se ha consolidado como uno de los respiratorios de información más importantes. Una gran reto para los agentes software ha sido tratar con esa cantidad, poco manejable de datos, para extraer información con significado. Este proceso es difícil por las siguientes razones: En primer lugar, la información en la web tiene como objeto su consumo por seres humanos y no contiene una descripción de su semántica, lo que ayudaría a los agentes entenderla. En segundo lugar, la web cambia continuamente, lo que tiene generalmente un impacto en la representación de la información pero no en su semántica. Por último, es un enorme repositorio con 4200 Terabytes de información lista para ser consumida. Los miembros de The Distributed Group han estado trabajando en sistemas distribuidos desde 1997. Concretamente, han trabajado en modelos de interacción multipartitos que proporcionan al programador los mecanismos adecuados para describir interacciones complejas desde un punto de vista conceptual. Los resultados obtenidos se han materializado en publicaciones revistas importantes y tesis doctorales. El trabajo de investigación en esta memoria abrió una nueva línea de investigación en el grupo. Su objetivo es facilitar el diseño e implementación de agentes software. Actualmente, esta línea de investigaicón se refuerza con la tesis de Joaquín Peña, en el que se están desarrollando mecanismos para describir abstractamente las interacciones complejas en sociedades multi-agentes. En esta memoria presentamos un nuevo marco de trabajo para la extracción de información con significado de la web sintáctica actual. Sus principales ventajas son: asocia semántica a la información extraída, mejorando la interoperabilidad del agente: trata los cambios en la web, potenciando la adaptabilidad: además, establece una separación de responsabilidades en la tarea de extracción, automatizando el desarrollo de extractores de conocimiento distribuidos. Por último, el detallado estudio del trabajo relacionado demuestra que nuestra propuesta constituye una contribución original.

Autor: VICENTE CHICOTE CRISTINA.
Año: 2005.
Universidad: POLITÉCNICA DE CARTAGENA [www.upct.es].
Centro de lectura: ESCUELA TÉCNICA SUPERIOR DE INGENIERIA DE TELECOMUNICACIÓN.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA DE TELECOMUNICACIÓN.

Resumen: La amplia variedad de sistemas gestionados actualmente mediante software ha disparado la complejidad de las aplicaciones que es necesario desarrollar. Por otra parte, dada la velocidad con la que se suceden los avances tecnológicos, sobre todo en áreas como la electrónica o las comunicaciones, resulta imprescindible dotar a las aplicaciones de la flexibilidad que precisan para poder asumir, con la suficiente agilidad, los continuos cambios impuestos por el mercado. Además, resulta igualmente esencial que el logro de esta mayor flexibilidad , no sea a costa a costa de perjudicar otros requisitos como los relacionados con la eficiencia, el coste o el tiempo de desarrollo de las aplicaciones. En respuesta a estas nuevas demandas, en las últimas han surgido nuevos paradigmas de desarrollo de software entre los que cabría destacar el paradigma Orientado a Objetos, el Orientado a Aspectos, el Dirigido por Modelos, el basado en Componentes, el Basado en Líneas de Productos, o los paradigmas de Programación Generativa y Programación Visual. Sin embargo, por diversas razones, estas propuestas no han encontrado una excesiva aceptación en el ámbito del desarrollo de sistemas mixtos hardware/software (Hw/Sw). A ello ha contribuido la falta de consenso respecto de las metodologías y notaciones que se deben emplear, así como la ausencia de herramientas que soporten, de manera integral, todo el ciclo de vida de estos productos. De hecho, en la actualidad, estos sistemas suelen desarrollarse desde una perspectiva muy centrada en el harware, quedando el software relegado a un segundo plano lo que conduce a la obtención de diseños muy eficientes pero por lo general poco o nada flexibles ni reutilizables. Este trabajo de Tesis propone una nueva aproximación para el desarrollo de sistemas Hw/Sw desde una perspectiva más centrada en el software y desde la que se pretende mejora la flexibilidad y el grado de reutilización de estas aplicaciones sin dejar de lado otros aspectos como la eficienci, la fiabilidad, o el tiempo de desarrollo. Para ello, dado que un sistemas mixto de software es el componente más meleable, se pretende analizar cómo la incorporación de las nuevas tendencias surgidas en el área de la ingeniería del Software puede ayudar a mejorar tanto el proceso de construcción de estos sistemas como los resultados que de él se deriven. Tratando de aprovechar la experiencia acumulada por el Grupo de Investigación en el que se ha llevado a cabo esta Tesis Doctoral en cuanto al desarrollo de varios tipos de sistemas mixtos Hw/Sw y, en particular, de Sistemas de Procesamiento de información Visual (VIPS), el trabajo que aquí se presenta se centará en esta dominio de aplicaciones, si bien los resultados obtenidos resultan, en cierta medida, directamente extrapolabies a otros dominios como el de los sistemas de control en tiempo real o el de los sistemas de telecomuncación. En la memoria se describen algunos de los trabajos previos realizados en el campo de los VIPS y que han servido de soporte para el desarrollo de esta Tesis. Asimismo, se describe el procedimiento usual para la construcción de estos sistemas y las mejoras que los paradigmas actuales de desarrollo de Software pueden aportar a su diseño e implementación. Sobre esta base se propone una nueva metodología de desarrollo de VIPS en la que se incorporan varios de los paradigmas previamente descritos y con la que se persigue resolver, en buena medida, los problemas y limitaciones del 8 procedi 3c3 miento actual. El trabajo se completa con la descripción de la herramienta IP-CoDER que se ha diseñado para dar soporte a la nueva metodología y que permite, entre otras cosas, integrar varias de las herramientas y librerías de procesamiento de imágenes actualmente existentes en el mercado.

Autor: HAYA COLL PABLO ALFONSO.
Año: 2005.
Universidad: AUTÓNOMA DE MADRID [www.uam.es].
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: A finales de los años 80 surge la Computación Ubicua cuando Mark Weiser propone trasladar la capacidad de computación de los rígidos y voluminosos ordenadores personales a miles de dispositivos diseminados por el entorno, de forma que las computadoras se fundan con el entorno hasta volverse invisibles al usuario. En la Computación Ubicua la interacción persona-ordenador se expande a todo el espacio, dando lugar a entornos capaces de adquirir información de forma autónoma y de emplearla para adaptarse a las necesidades de sus ocupantes. Esta interacción entre el entorno y el usuario se ve beneficiada al considerar información contextual como puede ser la localización, la tarea que está realizando el usuario, otros recursos que se encuentren cerca, las condiciones ambientales del entorno, etc. Este conocimiento implícito de la situación hace posible que el entorno responda con cierto grado de proactividad, de forma que se libera la atención del usuario cuando no sea imprescindible. La combinación de la información contextual con los Entornos Inteligentes conlleva una serie de complicaciones que dificultan el desarrollo de aplicaciones sensibles al contexto. Se han de integrar y gestionar una mezcla heterogénea de tecnologías que permitan capturar, distribuir y modificar el contexto teniendo en cuenta que esta información contextual proviene de fuentes de diversa naturaleza, y que se puede describir en diferentes niveles de abstracción. A esto hay que añadir que la configuración del entorno es dinámica, de manera que pueden aparecer y desaparecer nuevos componentes del entorno. El resultado es que el desarrollador de aplicaciones sensibles al contexto se encuentra ante una casuística difícil de manejar debido al elevado número de posibles configuraciones. La propuesta de esta tesis radica en un capa de contexto que sirve como pegamento para conseguir la sinergia necesaria entre los elementos ubicuos que constituyen el Entorno Inteligente. Ésta aporta: (a) una representación estándar del contexto que es independiente de su naturaleza y nivel de abstracción. Se provee de un modelo unificado del mundo reduciendo la complejidad en el acceso a la información contextual. (b) Un mecanismo flexible para poder almacenar y distribuir esa información que facilita la configuración y reutilización de los distintos componentes del entorno. La implementación de la capa de contexto reside en una estructura de datos global denominada pizarra. Esta pizarra constituye un modelo del mundo, donde se encuentra almacenado todo el contexto generado por los componentes del entorno y por el mismo entorno. La pizarra almacena la información en forma de grafo, donde cada vértice representa una entidad, como puede ser un usuario, una aplicación, un dispositivo, una habitación, etc. El contexto se representa mediante un lenguaje común, de tal forma que conviven en la pizarra información procedente de los sensores ---como el estado de los dispositivos físicos--- con contexto deducido a partir de la información sensorial, como por ejemplo el número de personas que hay en el entorno, o la tarea que está realizando una persona en cada momento. Gracias a esta arquitectura se consigue un acoplamiento débil entre los diversos componentes en tres niveles: temporal, espacial y funcional. Este anonimato permite que la conexión o desconexión de un componente en el entorno se realice de forma transparente al resto. La capa de contexto que se propone ha sido probada en un Entorno Inteligente real equipado como un salón de una casa convencional y, en parte, como una oficina. Este prototipo incluye dispositivos de distintas tecnologías, varias aplicaciones sensibles al contexto y dos interfaces de usuario de distinta de naturaleza que se generan automática 8 mente a 2a9 partir del modelo del entorno almacenado en la pizarra.

Autor: MORAGA DE LA RUBIA Ma. ANGELES.
Año: 2006.
Universidad: CASTILLA-LA MANCHA [www.uclm.es].
Centro de lectura: E.S.INFORMATICA.
Centro de realización: ESCUELA SUPERIOR DE INFORMATICA CIUDAD REAL.

Resumen: El hecho de conseguir que un portal sea de calidad es fundamental ya que es el único mecanismo para conseguir que los usuarios accedan de nuevo a éste (Offutt, 2002). Se ha de tener en cuenta que la calidad ha sido un tema de investigación durante mucho tiempo y en diferentes campos. Pero a pesar de ello, la calidad desde el punto de vista de los portales Web, apenas si ha sido abordada. Por tanto, nuestro objetivo es llenar este vacío existente mediante la creación de un modelo de calidad para portales. Para la realización de este modelo de calidad, se abordará la calidad de los portales desde dos puntos de vista: la calidad externa y la calidad interna. Desde el punto de vista de la calidad externa el objetivo será desarrollar un modelo de calidad para portales que permita por un lado, determinar el nivel de calidad de un determinado portal, en función de las características de calidad que le afectan. Y por otro lado, permita detectar los puntos débiles del portal con el objetivo de definir acciones correctivas que mejoren su nivel de calidad. Por otro lado, desde el punto de vista de la calidad interna nos centraremos en los portales desarrollados mediante la agregación de portlets. En concreto, dentro del ámbito de esta tesis nos centraremos en la calidad de cada uno de los portlets que componen este tipo de portales, quedando excluida la interacción entre los portlets que conforman el portal. Por tanto, se desarrollará un modelo de calidad de portlets que permitirá por un lado, establecer el nivel de calidad de un portlet concreto. Y por otro lado, permitirá establecer cuales son los puntos débiles del portlet con el objetivo de poder definir acciones correctivas para conseguir mejorar la calidad de dicho portlet. Finalmente, se desarrollará un modelo de selección de portlets para ayudar a los desarrolladores de los portales a seleccionar el mejor portlet de entre un conjunto de portlets que tienen un conjunto parecido de funciones para las tareas y los objetivos específicos de los usuarios.

Autor: GUENAGA GÓMEZ MARÍA LUZ.
Año: 2006.
Universidad: DEUSTO [www.deusto.es].
Centro de lectura: FACULTAD DE INGENIERIA.
Centro de realización: FACULTAD DE INGENIERÍA.

Resumen: La importancia de la accesibilidad y usabilidad en Internet se mide en términos sociales, económicos y personales para todos los agentes implicados en la definición, desarrollo, explotación y uso de servicios y productos. Hace unos años la Web era un servicio opcional, del que algunos usuarios se podía beneficiar . Hoy en día resulta imprescindible para diversas actividades diarias. En este nuevo contexto, las personas con discapacidad representan un numeroso grupo de usuarios, con unas características específicas a tener en cuenta a la hora de diseñar productos tecnológicos. También su papel está cambiando, pasando de usuarios receptores de información a gestores y administradores de información. Es en estepunto donde las pautas de accesibilidad y usabilidad existentes no alcanzan a cubrir las necesidades de diseño de herramientas como un Centro de Recursos Digitales, desde el punto de vista del gestor de contenidos. Este perfil de usuario tiene una intensa interacción con la interfaz, no habitual en los actuales desarrollos Web, y maneja una gran cantidad de información, complejay fuertemente interrelacionada, cuya accesibilidad tampoco se ha abordado en los trabajos realizados hasta el momento. En este trabajo se describen pautas de diseño de interfaces accesibles y usables para un Centro de Recursos Digitales, pero que se pueden extender a otros contextos con características similares de interacción e información. Estas pautas complementan a las existentes y están dirigidas a los usuarios con discapacidad visual. También se define una jerarquía de tipos de recursos digitales, más allá de las páginas Web, cuya accesibilidad es necesario estudiar y mejorar. Para ello se asocia a cada tipo de recurso un conjunto de metadatos, o atributos de accesibilidad, que tienen como objetivo sustituir al recurso digital, cuando éste no es accesible, proporcionar cierta información, cuando la sustitución no sea posible o complementarlo para mejorar su comprensión por parte del ususario con discapacidad visual. Los resultados y aportaciones de esta tesis son el fruto de un trabajo en estrecha colaboración con usuarios con discapacidad visual, a través de un cuestionario Web, contacto telefónico, correo electrónico y pruebas con usuarios. Estos métodos han confirmado ser muy valiosos para conocer la realidad de este colectivo, su forma de interactuar con la interfaz y de servirse de la tecnología para realizar direrentes tareas.