SOFTWARE, 2

Autor: FAIREN GONZALEZ MARTA.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERSITAT POLITECNICA CATALUNYA.

Autor: JODAR REYES JOAQUIN.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS .

Resumen: Dada un algebra noetheriana afin sobre un cuerpo, se estudian propiedades para la existencia de una dualidad entre clases de modulos localmente finitos a derecha y a izquierda. Las propiedades que se consideran son de los siguientes tipos :(1) homológicas (condicion de Auslander, Gorenstein, regular o Cohen-Macaulay). En consecuencia, las algebras que se estudian tienen dimension inyectiva finita o más generalmente, dimension global finita, y tambien dimension de Gelfand-Kirillov finita. Con estas condiciones es posible caracterizar cuando existen modulos localmente finitos no nulos: la dimensión de Gelfand-Kirillov coincide con la dimension inyectiva. (2) de localizacion(condiciona fuerte de second layer). La clase de los modulos localmente finitos se estudia a traves del modulo subyacente a la coálgebra dual; la condicion de second layer es la condicion necesaria y suficiente para que esta sea un modulo inyectivo. (3) de calculo simbolico: uso de bases de Groebner en un contexto no conmutativo. Las clases de modulos localmente finitos a derecha e izquierda están relacionadas mediante una dualidad. Uno de los resultados fundamentales es el estudio de la representacion de esta dualidad, la cual se caracteriza por la igualdad de las dimensiones de los modulos simples y de sus imágenes por la dualidad. Las bases de Groebner se usan como tecnica computacional para probar esta igualdad en los ejemplos estudiados.

Autor: ALSINET BERNADÓ M. TERESA.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: PETIT SILVESTRE JORDI.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: SAGARDUY MENDIETA GOIURI.
Año: 1999.
Universidad: PAIS VASCO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE BILBAO.

Resumen: Esta tesis se enmarca en el área de selección de los dominios para introducir la reutilización de software. Se propone un modelo de análasis de la potencionalidad que utiliza los criterios expuestos a continuación, como soporte a la selección del dominio: -Los beneficios que en un dominio se van a obtener al introducir la reutilización. -Los probabilidad de fracaso de la introducción de la reutilización debido a la falta de preparación de factores importantes. El modelo de análisis de la potencialidad combina ambos criterios con el sistema de preferencias de la empresa para determinar los dominios adecuados y comparlos de manera que ayude en la selección del dominio, que más beneficios va a obtener minimizando los riesgos que se asumen al introducir la reutilización.

Autor: DALMAU LLORET VICTOR.
Año: 1999.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERISTAT POLITECTICA CATALUNYA.

Autor: GALESI NICOLA.
Año: 1999.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERSITAT POLITECNICA CATALUNYA.

Autor: MYLONAKIS PASCUAL NICOLAS EDUARDO.
Año: 1999.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERSITAT POLITECNICA CATALUNYA.

Autor: RIVERO ALMEIDA JOSE MIGUEL.
Año: 1999.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERSITAT POLITECNICA CATALUNYA.

Autor: POLO USAOLA MACARIO.
Año: 1999.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: INFORMATICA.

Resumen: El mantenimiento es la etapa más costosa del ciclo de vida software y, sin embargo, hace sólo pocos años que ha comenzado a recibir atención por parte de la comunidad investigadora. Por lo general, las soluciones planteadas para paliar el problema del mantenimiento se han enfocado sobre todo el proporcionar ayuda para algunas de las tareas que implica toda modificación del software, como la ingenieria inversa, la reingenieria y la reestructuración, habiendo dejado a un lado las soluciones metodológicas, muchas más completas. En esta tesis se presenta una metodología para la gestión integral del proceso de mantenimiento del software que incluye: 1. Un modelo de proceso de mantenimiento, en el que se entiende el proceso como una secuencia de actividades y tareas. 2. Un conjunto de métricas, tanto de producto como de proceso, que pueden ser utilizados durante el mantenimiento. 3. Varias técnicas, susceptibles de ser empleadas en determinados momentos del proceso. 4. Un marco para definir la estructura de la organización que intervienen en el proceso de mantenimiento. 5. Una herramienta para gestionar el mantenimiento conforme al modelo del proceso. Esta metodología se ha desarrollado en el marco de los proyectos de investigación MANTEMA (inciativa ATYCA), MANTICA (CICYT 1FD97-0168) Y MANTIS (CICYT 1FD97-1608) usando el metodo Investigación en acción, y se ha validado en entornos reales mediante la colaboración con varias empresas, entre ellas Atos ODS, S.A.

Autor: GUIJARRO GUILLEN DAVID.
Año: 1999.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.

Autor: VICENTE HURTADO JUAN CARLOS DE.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.

Resumen: La Tesis aporta, dentro del área de modelado del conocimiento, la formalización de un modelo de referencia para entornos de ingeniería de software, que permite automatizar la representación del conocimiento, partiendo del Paradigma de Orientación a Objetos. Se presenta la formalización de la sintaxis y la semántica de un lenguaje de manejo asociado que permite operar con el modelo de referencia propuesto (LDO) que, basado en el Paradigma de Orientación a Objetos, es utilizado para la definición de esquemas y clases dentro de ellos. Se describe una propuesta de arquitectura cuyo núcleo contiene el modelo de referencia definido en una red semántica utilizando como herramienta expresiva dicho paradigma. Finalmente, se aporta un análisis de otra propuesta de formalización y estandarización, ODMG dentro de CORBA, y su comparación con la propuesta en esta tesis, revisándose los principales aspectos en lo relativo a convergencias, complementariedad y posibles combinaciones en distintas propuestas de arquitectura, presentando las consideraciones y beneficios en cada caso.

Autor: MARCO SCHORLEMMER WERNHER.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: DOMINGO SORIANO CARLOS.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: XHAFA FATOS.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: BALLESTEROS CARMARA FRANCISCO JOSE.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS. PROGRAMA DE DOCTORADO: ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES..

Resumen: Esta Tesis propone un enfoque radicalmente diferente en la construcción de Sistemas Operativos Distribuidos: distribuir el sistema justo desde el nivel inferior haciendo uso de un microkernel distribuido soportando abstracciones próximas al hardware. Nuestro enfoque podría resumirse con la fase. "Construyamos Sistemas Operativos basados en un microkernel distribuido en lugar de construir Sistemas Operativos Distribuidos basados en un microkernel". Afirmamos que con el enfoque propuesto (microkernl distribuido adaptable + servicios) se podrían conseguir importantes ventajas con respecto al enfoque habitual (microkernel+servicios distribuidos): más transparencia, mejor aprovechamiento de los recursos, sistemas más flexibles y mayores cotas de adaptabilidad; sistemas más eficientes, fiables y escalables. Palabras Clave: Sistemas Operativos, Microkernel, Adaptabilidad, Sistemas Distribuidos.

Autor: CASTAÑEDA BARRENA RAFAEL.
Año: 1997.
Universidad: SEVILLA .
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.
Centro de realización: DEPARTAMENTO: ECONOMIA FINANCIERA Y DIRECCION DE OPERACIONES PROGRAMA DE DOCTORADO: GESTION DE LAS FINANZAS Y LAS OPERACIONES EN LA EMPRESA.

Resumen: No es dificil adivinar que en los próximos años (especialmente por imposiciones del propio mercado) las empresas demandarán de sus estructuras informáticas la posibilidad de incorporar de forma rápida y ágil, nuevos requerimientos. Esto hará que los Sistemas de Información mecanizados hagan del cambio una característica intrínseca. Por lo tanto, todos aquellos que tengan que planificar y gestionar un sistema informático, deberán ser capaces de introducir con rapidez nuevas características complejas en el sistema. La implantanción de una arquitectura tecnológica fiable, capaz de soportar plenamente las necesidades presentes y futuras de cualquier empresa, requiere una nueva generación de sistemas que integren nuevas tecnologías y, lo que es más importante, que distribuyan la información no solo verticalmente, sino también de modo horizontal, es decir, compartible por todos aquellos que deben hacer uso de ella. Para abordar semejante empresa se hace necesario contar con productos abiertos, siendo imprescindible saber cómo caracterizar esos productos. Es decir, cómo elegirlos, qué buscar y cómo valorarlos. Y todo esto para comenzar a introducir los beneficios derivados de la apertura de sistemas. Ya sabemos que un sistema informático está constituido por diferentes elementos que cuentan, en realidad, con un mayor o menor grado de apertura. Esto implica que cada nueva inversión deberá ofrecer la garantía de ser lo más abierta posible. Evidentemente las preguntas surgen enseguida: Cómo tener la certeza de que esa inversión es realmente "abierta"? Estará planteada la inversión de manera óptima? La estrategia que se está siguiendo es la adecuada? Permitirá dicha estrategia evolucionar en el futuro? No existe una receta universal para asegurar todo lo anterior. De lo que sí estamos seguros es de que la respuesta a todas estas cuestiones deben estar clara en la mente de los gerentes antes de acometer una inversión de este tipo. Así pues, la selección y evaluación de las inversiones para la construcción de un sistema de esas características pueden ser una tarea compleja. Creemos, no obstante, que la complejidad se reduce notablemente si se dispone de un modelo adecuado. Mediante nuestra investigación pretendemos el diseño de un modelo teórico de referencia que permita identificar e implantar soluciones basadas en tecnologías de la información que permita, en cierta medida, ayudar a las empresas a tomar decisiones más rápidas y argumentadas cuando se les presente el problema de hacer la transición hacia los Sistemas Abiertos.

Autor: IGLESIAS FERNANDEZ CARLOS ANGEL.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.

Resumen: Esta tesis define una metodología para el desarrollo de sistemas multiagente, integrando técnicas de ingeniería del conocimiento, ingeniería software orientada a objetos e ingeniería software de protocolos. La metodología se desarrolla a través de la construcción de siete modelos: el Modelo de Agente, que describe las características de cada agente; el Modelo de Tarea, que describe las tareas realizadas por los agentes; el Modelo de la Experiencia, que describe el conocimiento que necesitan los agentes para llevar a cabo los objetivos encomendados; el Modelo de Coordinación, que describe las relaciones dinámicas entre los agentes humanos y los agentes software; el Modelo de Organización, que describe la organización humana en la que el sistema multiagente se introduce y la estructura de la organización de agentes software; y el Modelo de Diseño, que refina los modelos anteriores y decide qué arquitectura de agente es más adecuada para cada agente, así como los requisitos de la infraestructura de la red de agentes. La aplicación de la metodología consiste en el desarrollo de los modelos. Cada modelo está compuesto por constituyentes (entidades modeladas) y relaciones entre los constituyentes. Se define una plantilla textual para describir cada constituyente, y estados de los constituyentes para describir su estado de desarrollo (vacío, identificado, descrito y validado). El modelo de proceso software seguido combina un modelo dirigido por riesgos con un enfoque basado en componente, determinando qué componentes pueden ser candidatos para su reutilización en cada ciclo.

Autor: MENGUAL GALAN LUIS.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE.

Resumen: En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización del proceso de verificación, análisis e implementación de protocolos de seguridad a partir de una especificación formal y con ello, la versatilidad en la incorporación de distintos servicios de seguridad en un entorno distribuido. Una notable innovación de este trabajo es la automatización del proceso de implementación de protocolos de seguridad a partir de una especificación formal: Definido el servicio de seguridad requerido, y especificado el protocolo de seguridad asociado, el sistema es capaz de generar de manera automática una implementación real (prototipo). Todo ello ha sido realizado a partir de una nueva filosofía de implementación que hemos denominado interpretación automática de protocolos. El sistema se ha concebido como un entorno de pruebas que sirva de base para el análisis y evaluación de ataques reales a un protocolo de seguridad. Asimismo, el sistema se ha desarrollado con el objetivo de que pueda ser la base para derivar un producto final con la incorporación explícita de funciones de seguridad.

Autor: MORENO SANCHEZ CAPUCHINO ANA M..
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES, SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE.

Resumen: La importancia del proceso de Análisis en el Desarrollo de Software es comunmente aceptada por la comunidad de Ingenieros de Software. Sin embargo, la falta de formalización de este proceso supone una importante limitación. Pararesolver esta carencia se propone un enfoque para abordar la construcción de los modelos conceptuales de una forma sistemática, disciplinada y formal. La materialización de este propósito se lleva acabo mediante la definición de un método riguroso de Análisis MATE (Metodo de Análisis a partir de una especificación Textual), que guía al analista durante el proceso de obtención de los modelos conceptuales a partir de la información proporcionada por el usuario. Este método se soporta sobre una formalización FORMOL (Formalización de la Modelización conceptual a partir del Lenguaje natural), que proporciona un conjunto de reglas justificadas, formales y correctas, que permiten obtener los componentes de la moselización.