SOFTWARE

Autor: FERRE GRAU XAVIER.
Año: 2004.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: En 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 campo de la IPO (Interacción Persona-Ordenador), las cuales nos permiten alcanzar un nivel adecuado de usabilidad en el producto software, se aplican en el marco de métodos IPO, y no en el proceso de desarrollo habitual. Por otra parte, la construcción de software según los métodos y prácticas de la IS (Ingeniería del Software) no trata de forma adecuada la usabilidad a lo largo del proceso de desarrollo. El problema que se aborda en este trabajo es, precisamente, cómo ayudar a los ingenieros software a seleccionar las técnicas y actividades IPO más apropiadas para integrar en su proceso de desarrollo, de modo que se trate adecuadamente la usabilidad del producto software. El estudio realizado sobre el estado de la cuestión revela que dicho problema está abierto. La solución original que se propone consiste en un marco de integración de la usabilidad en el proceso de desarrollo. El marco permite al ingeniero software acceder a una selección de las 35 técnicas IPO mejor dotadas para su integración en el proceso de una organización con escasa o nula experiencia previa en el tratamiento de la usabilidad. El único requisito para el proceso de desarrollo en el que se quiera integrar la usabilidad es que tenga un carácter iterativo. Para cada técnica del marco se detalla su caracterización según un conjunto de criterios relevantes para el objetivo de integración, desde el punto de vista de la IS. Se ha comprobado la viabilidad de la solución propuesta mediante su aplicación por un socio industrial del proyecto europeo STATUS en la construcción de un producto comercial. Por otra parte, la solución propuesta se ha aplicado en dos casos de estudio realizados por alumnos de la Facultad de Informática de la Universidad Politécnica de Madrid. En definitiva, este trabajo aporta, por primera vez, una herramienta flexible que facilita la selección de técnicas y actividades IPO a integrar en el proceso de desarrollo, dando respuesta a las posibles necesidades de un amplio abanico de organizaciones y procesos software.

Autor: PEREZ MARTINEZ JORGE ENRIQUE.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: El 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 transcurra al margen de cualquiera de los procesos metodológicos de desarrollo software que podemos encontrar en la literatura. Por otro lado, y como bien es conocido, la globalización de la economía mundial y las necesidades crecientes de soporte informático de la misma han conducido a que las apliaciones software muestren un, cada vez más acentuado, perfil de distribución. En este contexto, y por ser la arquitectura software uno de los pilares básicos sobre los que se construye y mantiene cualquier aplicaión, es necesario realizar un esfuerzo para integrar esta disciplina en los anteriormente citados procesos de desarrollo software. Además, el estilo arquitectónico seleccionado debe dotar al arquitecto de la suficiente potencia semántica como para abordar la construcción de aplicaciones distribuidas. Este trabajo de tesis motiva, presenta y valida la integración del proceso de elaboración de la arquitectura software de una aplicación distribuida con los artefactos software generados durante la actividad de análisis de los casos de uso derivados de la misma. Las actividades en este proceso pasan por definir un estilo arquitéctonico apropiado para dicho tipo de aplicaciones, C3, mediante el estudio de los requisitos no funcionales de dichas aplicaciones y la evaluación de su incidencia en la arquitectura resultante. Además, en este trabajo de tesis se propone un lenguaje, RAC3, para describir la arquitectura obtenida, y generado mediante la ampliación de otro lenguaje bien conocido tanto en el ámbito industrial como académico: UML. Por último, pero no menos importante, para la susodicha integración se proponen un conjunto de heurísticos que permiten transitar desde los artefactos de análisis a los elementos arquitectónicos del estilo C3 y que estarán descritos con el lenguaje RAC3. Para la validación de las propuestas presentadas en esta tesis se ha construido una herramienta que, dado un modelo de análisis, es capaz de generar la arquitectura resultante en estilo C3. Se ha realizado una demostración empírica consistente en aplicar dicha herramienta a un conjunto seleccionado de casos. Posteriormente, se ha realizado una evaluación análitica consistente en un análisis de los resultados obtenidos al aplicar los heurísticos definidos sobre el conjunto seleccionado de casos.

Autor: CARMONA VARGAS JOSEP.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: UPC.
Centro de realización: LLENGUATGE I SISTEMES INFORMÀTICS.

Resumen: The 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 the system can reach are typically very large or even infinite. This phenomenon is known as the state space explosion problem. Consequently, algorithms that work on the state space of such type of systems suffer from the state space explosion problem, thus having high complexity. In this work we tackle the problem of synthesis of concurrent systems. Asynchronous circuits are the simplest class of concurrent systems. Despite of their simplicity, problems like the state space explosion problem already exist. Therefore, state-based algorithms for the automatic synthesis of asynchronous circuits can only synthesize small size specifications. This work provides structural methods for the synthesis of large specifications. The methods developed perform as a state-based method would do if there was enough memory or machine-power. By using graph algorithms or linear algebra, the design flow presented avoids the computation of the whole state space. Experimental results show the significant improvement with respect to existing approaches. The most important problem in the synthesis of asynchronous circuits is the problem of the encoding. Informally, a specification is correctly encoded if the system knows what to do just by looking at the value of the signals. If a specification is not correctly encoded, it can not be correctly implemented. In our work we tackle this problem and provide structural methods, based in the transformation of an interpreted Petri net, that guarantee a correct encoding. Also structural methods based on Linear Algebra are developed to semidecide the encoding problem. The methods introduced provide a speed-up of several orders of magnitude with respect to existing approaches. The contributions presented in this work are: 1) The characterization of a relation between reactive systems that ensures a live and safe interaction. 2) An encoding technique to ensure implementability of an asynchronous circuit specified by an interpreted Petri net. The encoding technique can be modified to ensure that the circuit will interact without errors with its environment, by preserving the relation defined in 1). 3) A kit of Petri net transformations for the synthesis of reactive systems. Moreover, it is shown the situations where each transformation can be safely applied to preserve the relation defined in 1). 4)Integer Linear Programming models to support the synthesis of asynchronous circuits. 5) A Complete Design Flow for the Synthesis of Asynchronous Control Circuits.

Autor: MEDINA LÓPEZ CARMEN.
Año: 2003.
Universidad: SEVILLA.
Centro de lectura: CIENCIAS ECONÓMICAS Y EMPRESARIALES.
Centro de realización: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES.

Resumen: El 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) con un enfoque constructivista que aproveche el potencial de las teconologías de la información y las Comunicaciones (TIC). - Y en segundo lugar, la evaluación de la aplicación desarrollada y el análisis de su valídez como herramienta de formación en JIT. Hemos elegido el enfoque Justo a Tiempo, como materia objeto de estudio de nuestra aplicación, porque ha supuesto todo una revolución en la forma de entender y gestionar la empresa. Esto se refleja en el destacado papel que ocupa tanto en los manuales como en los programas docentes de las asignaturas de la disciplina de Dirección de Producción/Operaciones (DPO). Esta tesis se estructura en seis capítulos. En el primero se exponen los motivos que nos han llevado a la realización del presente trabajo, los objetivos perseguidos, las principales actividades desarrolladas y los elementos básicos de la metodología empleada. En el segundo se analiza el proceso de enseñanza-aprendizaje y cómo le afecta la incorporación de las TIC. Nos hemos detenido en el cambio de las funciones atribuidas tanto a profesores como a alumnos. Esto nos ha permitido abordar el desarrollo de los objetivos planteados de una forma más adecuada. Además, se ha estudiado el empleo de las TIC en la enseñanza de DPO. En el tercer capítulo se aborda el trabajo desarrollado para obtener la aplicación educativa multimedia y se realiza una descripción de la misma. En el cuarto capítulo explicamos la experimentación desarrollada con objeto de evaluar la aplicación y analizar su validez como herramienta de formación para, a continuación, abordar los principales resultados alcanzados. En el quinto se presenta el análisis descriptivo y explicativo de los datos derivados del mismo, las hipótesis de investigación planteadas y los resultados obtenidos. Finalmente, en el capítulo seis exponemos las principales conclusiones que se derivan de nuestro trabajo. De ellas quisiéramos destacar: 1. Por un parte, hemos creado una aplicación multimedia, interactiva, de autoformación en JIT, con un enfoque constructivista que hace uso del potencial de las TIC. Esta aplicación permite una total libertad de navegación, a la vez que proporciona una guía personalizada al usuario, gracias al sistema de seguimiento diseñado. También le permite conocer el progreso de sus conocimientos y aprender de sus errores, haciendo uso del sistema de autoevaluación. Todo ello, mediante una interfaz, calificada por los alumnos, como amigable , intuitiva y de fácil uso, que no requiere de conocimientos previos de informática y que motiva para el estudio. 2. Por otra parte, hemos realizado una evaluación a nivel de usuaruo del diseño y funcionamiento de la citada aplicación, en la que ésta ha sido valorada muy positivamente por sus usuarios. 3. En tercer lugar se ha analizado la validez de la aplicación desarrollada como herramienta de formación, de manera integrada en un entorno educativo y comparándola con un entorno de enseñanza tradicional. De este análisis podemos extraer dos conclusiones principales: A. Desde el punto de vista de la adquisición de conocimientos, con nuestra aplicación se aprende tanto como un libro adaptado a la enseñanza a distancia. B. Desde el punto de vista del proceso de enseñanza-aprendizaje que promueve, los discentes resultan estar más motivados y creen obtener mejores resultados, en menos tiempo, con menos esfuerzo y con un mayor control de su proceso de aprendizaje haciendo uso del escenario en el que se integra nuestra aplicación. Por todo ello consideramos haber alzando los objetivos propuestos en esta investigación.

Autor: ARENAS MARQUEZ FRANCISCO JOSÉ.
Año: 2003.
Universidad: SEVILLA.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES .
Centro de realización: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES.

Resumen: La 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 las comunicaciones (TIC), permite el autoaprendizaje de las técnicas de planificación de necesidades de materiales (MRP). Con ella hemos pretendido contribuir a la incorporación de los nuevos instrumentos y métodos docentes dentro del área de Dirección de Operaciones (DO) y, de este modo, avanzar en una mejor adaptación de esta disciplina a los actuales requerimientos de la Enseñanza Universitaria. El trabajo se ha extructurado en 5 capítulos fundamentales: En el primero de ellos, se describe el marco general en el que se ha desarrollado la investigación, incluyendo sus objetivos fundamentales y un breve análisis sobre el estado de la cuestión investigada y la metodología empleada. Por su parte, el capítulo 2 presenta una descripción de la aplicación interactiva, precisando sus contenidos didácticos y los principales módulos y herramientas que la integran. Asimismo, incluy diversas consideraciones generales sobre la programación del software, su carácter interactivo y el diseño de la interfaz. En el capítulo 3 se recogen diferentes aspectos metodológicos relacionados con el experimento de evaluación, como las características de la población, el proceso de selección aleatoria de la muestra, los escenarios docentes diseñados o los cuestionarios y herramientas estadísticas utilizadas. Este capítulo concluye con una descripción de las diferentes sesiones de trabajo. Los resultados del experimento son analizados en el capítulo 4, incluyendo tanto elementos descriptivos como numerosos contrastes estadísticos de hipótesis. Este capítulo permite efectuar una caracterización de la muestra, analizar las percepciones de los estudiantes sobre el uso de las TIC, comparar los escenarios docentes a través de valoraciones subjetivas (contenidos, motivación, adaptación al ritmo de estudio, etc.) y pruebas objetivas y, por último, medir las percepciones de los estudiantes sobre la aplicación interactiva y sus diferentes herramientas. Finalmente, el capítulo 5 incluye las principales conclusiones obtenidas en la investigación, confirmando la consecución del los diferentes subobjetivos propuestos: A) El diseño del software favorece una explicación muy práctica del esquema básico de los sistemas MRP y de los cálculos habituales dentro del proceso de explosión de necesidades. B) La aplicación es una herramienta válida tanto para la enseñanza presencial, como para la autoformación abierta / a distancia. C) El software promueve el enfoque constructivista en la enseñanza universitaria de DO. D) El manejo de la aplicación es muy sencillo y no requiere una formación informática previa. E) La programación es flexibe y permite introducir cambios con facilidad.

Autor: ESTEBAN ANGELES JUAN LUIS.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA .
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA.

Autor: HORNOS BARRANCO MIGUEL JUAN .
Año: 2002.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: Este 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 sistema debe cumplir con fórmulas de una lógica de intervalos, que nos permite razonar a nivel de intervalos de tiempo en lugar de instantes. Las lógicas temporales de intervalos permiten especificar formalmente los requisitos o propiedades temporales de sistemas complejos, como son los sistemas reactivos, en general, y los concurrentes, en particular, en cuyo estudio y análisis se centra nuestro interés. La ventaja de este tipo de lógicas, frente a las lógicas temporales tradicionales, es que permiten establecer de forma sucinta el contexto temporal en el que ciertos requisitos deben aplicarse, haciendo posible una especificación más concisa y comprensible de las propiedades a verificar, especialmente de aquéllas más complejas. Uno de los objetivos actuales de la comunidad científica consiste en intentar que las técnicas de especificación formal sean más fáciles de entender para un grupo cada vez más amplio de personas que tienen responsabilidad en el proceso de desarrollo de software. Una posible manera de alcanzar dicho objetivo sería adoptar un lenguaje de descripción basado en una lógica temporal que soporte una representación gráfica semánticamente equivalente a las de sus fórmulas textuales. Hemos adoptado la lógica temporal de intervalos denomindada Future Interval Logic (FIL), ya que esta lógica cuenta con una representación gráfica muy natural e intuitiva, que hace que las especificaciones sean más fáciles de desarrollar y de comprender, incluso para aquellas personas involucradas en el desarrollo de software que no tengan una buena formación matemático-lógica. Por tanto, constituye la base sobre la que se pueden construir herramientas software amigables para el razonamiento formal acerca de las propiedades temporales de sistemas complejos (concurrentes y reactivos), que permitan una más fácil especificación y verificación de los mismos y donde el formalismo de especificación se integre perfectamente dentro de su interfaz gráfica. La principal contribución de esta tesis es que, para dicha lógica, proporciona el diseño y la implementación de un algoritmo basado en la extensión del método tableau y capaz de operar on-the-fly, esto es, capaz de generar el autómata que expresa la propiedad a comprobar al mismo tiempo que, y guiado por, el autómata que describe el sistema a verificar. Esto es así debido a que desde el primer momento se ha concebido para ser integrado dentro de una herramienta de comprobación de modeos on-the-fly. Éste es el primer algoritmo conocido de este tiempo para una lógica de intervalos, estando convencidos de su relevancia, puesto que durante mucho tiempo se ha considerado que estos métodos no era aplicables a las lógicas de intervalos. La importancia que, dentro de las técnicas de verificación automática, tiene la comprobación de modelos on-the-fly se debe a que en muchos casos ayuda a paliar el problema de la explosión de estados, que ocurre cuando el espacio de estados del sistemas es demasiado grande como para poder llevar a cabo la verificación. Para solucionarlo, este método construye el espacio de estados conforme se va necesitando (construcción on-the-fly), a medida que se realiza la verificación, por lo que sólo debe construir la parte que va explorando. Así, a menudo es posible obtener una respuesta del algoritmo sin necesidad de construir completamente el espacio de estados del correspondiente autómata. En la tesis se demuestra que el autómata construido por el algoritmo para una especificación expresada en FIL acepta exactamente las mismas secuencias de palabras infinitas que son modelos de dicha especificación. Por último, se compara nuestra herramienta con otra de características similares, pero cuyo formalismo de especificación es lógica temporal tradicional, la LTL (Linear Temporal Logic), mostrándose que los autómatas producidos por ambas para fórmulas equivalentes son de una complejidad similar, aunque los derivados con nuestro algoritmo sales ligeramente favorecidos en la mayoría de los casaos analizados.

Autor: GARRIDO BULLEJOS JOSÉ LUIS.
Año: 2002.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR INGENIERÍA INFORMÁTICA.

Resumen: El 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 de actividades, ..), organización del trabajo (definición de tareas, ..), modelos de coordinación (protocolos sociales, ..) y conexión con la arquitectura de diseño de software cooperativo. Se propone una metodología denominada AMENITIES que pretende solventar las principales carencias de las propuestas centradas en sistemas cooperativos con dos importantes aportaciones: está específicamente ideada y pensada para sistemas cooperativos, y propone modelos específicos dentro de un simple proceso general e iterativo para el estudio y desarrollo de este tipo de sistemas. AMENITIES propone, a partir de la especificación de requisitos, la construcción de un modelo del sistema cooperativo siguiendo un método simple. El punto de partida es un marco conceptual que permite expresar tareas, las relaciones entre ellas y con los usuarios responsables de llevarlas a cabo (mediante modelos de comportamiento), y con otros conceptos relevantes en el dominio del problema (artefactos, información, etc.). Su utilidad viene dada por la forma de integrar y estructurar los conceptos; permitiendo capturar la esencia del trabajo cooperativo y facilitando la realización de modificaciones en el modelo tras revisiones y refinamientos. El modelo cooperativo también permite identificar aquellas situaciones especiales en cuanto a características del comportamiento humano (impredecible en algunos casos) y el trabajo (imposible de estructurar). Así pues, el modelo incluye ciertos aspectos de uso de tecnología (sistemas informáticos) de forma simple pero suficiente (a modo de ingeniería de sistemas y requisitos) para abordar un desarrollo integrado de sistemas groupware (herramientas básicas, flujos de trabajo, etc.). Una importante ventaja de la metodología es la notación gráfica COMO-UML, que propone para representar el modelo cooperativo. Esta notación se basa en el lenguaje estándar UML aplicado con éxito en ingeniería del software. UML dispone varias notaciones con sus respectivas semánticas y de herramientas. Se demuestra la utilidad de la metodología, mediante su aplicación a un caso práctico real, cara a abordar el modelado sistemas cooperativos, en especial, los principales aspectos que caracterizan a este tipo de sistemas: comunicación, coordinación y colaboración (trabajo cooperativo, interacción entre participantes mediante artefactos tales como comunicación telefónica, sistemas groupware, etc.). Partiendo del marco conceptual definido parte del trabajo ha tenido como objetivo definir de forma precisa, mediante el formalismo de Redes de Petri Coloreadas (CPN), la semántica de uso de la notación COMO-UML. El modelo para esta formalización de la notación hace explícita la concurrencia, no-determinismo, sincronización y compartición de recursos. Esto posibilita el estudio y análisis del comportamiento del sistema cooperativo.Las CPNs pueden someterse a varias técnicas de análisis, las cuales permiten validar el sistema (simulación) y verificar propiedades (grafos de alcanzabilidad, ..).

Autor: MAÑA GÓMEZ ANTONIO.
Año: 2002.
Universidad: MALAGA .
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: Este 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 SmartProt, basado en el uso combinado de coprocesadores seguros (tales como tarjetas inteligentes) y de mecanimos ciptográficos. Las ventajas del esquema propuesto con su robustez ante diferentes ataques, seguridad para el usuario, uso eficiente de los recursos computacionales disponibles en la terjeta, posibilidad de distribución libre del software, uso de una tarjeta para múltiples aplicaciones, transferencia selectiva de licencias, control de la vigencia de las mismas y aplicabilidad en ámbitos de computación remota. En segundo lugar, se extiende SmartProt para su aplicación a elementos de código móvil, y se muestran las ventajas que tal enfoque presenta en diferentes ámbitos de computación. Además del modelo teórico, la tesis presenta los detalles de implementación del sistema usando tarjetas inteligentes Java Card y muestra cómo se han superado las limitaciones de la plataforma para lograr las funcionalidades requeridas por SmartProt. Se describe asimismo el mecanismo utilizado para lograr la protección automatizada de aplicaciones ejecutables Java. Respecto a la aplicación a entornos de computación móvil, la tesis incluye la descripción de una infraestructura integrada para comercio electrónico de contenidos digitales que se basa en SmartProt para proporcionar distribución segura de los contenidos, protección persistente y la capacidad de asociar de forma atómica la realización de acciones tales como el pago o la ejecución de acuerdos de copyright al acceso a los contenidos. Por último, se describe un mecanismo de pago electrónico equitativo especialmente desarrollado para completar a SmartProt.

Autor: HERNÁNDEZ BALLESTEROS JUAN FRANCISCO.
Año: 2002.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ETSI INDUSTRIALES - UNED.

Resumen: El 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ás estricto acercamiento a la medida del atributo de la calidad del software basado en normas internacionales y en la metodología "Goal Auesthonmetrics". Se propone una modificación del análisis del punto función con objeto de asegurar medidas fiables y objetivas. Se ha realizado un estudio en profundidad de modelos y metodologías CCMM, ISODOO, SPICE, MÉTRICA) con el fin de conocer cómo miden el atributo "Calidad del Software".

Autor: MUÑOZ HERNÁNDEZ SUSANA.
Año: 2002.
Universidad: POLITECNICA DE MADRID .
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA (U.P.M)..

Resumen: El 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 capturar información negativa. A pesar de existir varias propuestas operacionales y muchas teóricas al respecto no existe ninguna implementación de negación correcta y completa para Prolog. Hemos implementado un sistema que utiliza análisis estáticos del código para decidir mediante una estrategia de selección qué técnica uitlizar. Hemos extendido y completado algunas de las propuestas anteriores y las hemos implmentado asimismo.

Autor: GAMEZ DOMINGO DOMINGO.
Año: 2001.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: Se 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 isometrias, se realiza una clasificacion exhaustiva de dichas isometrias, para pasar a descomponerlas en producto de reflexiones. Se abordan distintos problemas constructivos que se pueden presentar con el grupo de transformaciones del plano hiperbolico, determinado los algoritmos que posteriormente han sido programados mediante el software Mathematica. Se obtienen importantes propiedades relacionadas con el cuadrilatero de Saccheri basandose en el estudio de las traslaciones según una recta. Asimismo se realiza la construccion de las orbitas de las isometrias directas. Se realiza el estudio de los cuadrilateros de Saccheri y Lambert, dando condiciones para su existencia y unicidad salvo congruencias. Se da una nueva definicion de region fundamental para un grupo N.E.c. Y se compara con la definicion dada por Wilkie. Posteriormente se realiza la teselacion del plano hiperbolico con grupos triangulares que dan pie al estudio de los grupos poligonales. Basandose en el estudio realizado sobre cuadrilateros de Saccheri y Lambert, se demuestra bajo que condiciones dichos cuadrilateros teselan el plano hiperbolico, exponiendo ejemplos de dichas teselaciones. Se obtienen resultados importantes con el estudio de grupos bicolor y se dan ejemplos explicitos de teselaciones con dichos grupos.

Autor: GODOY BALIL GUILLEM.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: ATSERIAS PERI ALBERT.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS. UNIVERSITAT POLITECNICA CATALUNYA.

Autor: DÍAZ REDONDO REBECA PILAR.
Año: 2001.
Universidad: VIGO.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN.
Centro de realización: E.T.S.E. TELECOMUNICACIÓN.

Resumen: La 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 de estos procesos e incrementar la calidad de los sistemas obtenidos. Los investigadores en este ámbito coinciden en asegurar que un programa de reutilización sistemático, automatizado y formal conseguiría todos estos propósitos, aunque hasta el momento los intentos de incorporar este tipo de planes de reutilización se han visto ralentizados por diversos factores, de los cuales quizá la carencia de entornos tecnológicos apropiados sea uno de los más destacables. Es precisamente en esta línea en la que se enmarca el trabajo de esta tesis, proporcionando las bases teóricas y formales, y describiendo una metodología de aplicación de las mismas con el objetivo de lograr un entorno la reutilización especialmente adaptado a un proceso de obtención de sistemas ya existente. Debido a las peculiaridades de este proceso, se ha constatado que uno de los puntos débiles del mismo es la elevada frecuencia de ejecución del algoritmo de verificación --basado en técnicas de model checking--, y, debido a ello, se propone la reutilización de información de verificación asociada a modelos de sistemas, completos o incompletos, con el objetivo de aliviar la carga computacional requerida para las tareas de verificación. Pero no es ésta la única circunstancia propicia para la reutilización en el entorno de desarrollo de partida, sino que a la hora de comenzar con el proceso de creación de un nuevo sistema también sería conveniente ser capaces de evitar trabajo redundante y partir de algún modelo apropiado sobre el que se haya trabajado con anterioridad, de esta forma podría incrementarse la eficiencia del proceso al reducirse las labores de síntesis iniciales. De esta manera nuestra propuesta establece la reutilización de elementos software de un elevado nivel de abstracción, como es el caso de requisitos funcionales y de información de verificación, frente a la reutilización más habitual de elementos de bajo nivel de abstracción, normalmente código que, aunque a priori más sencilla, resulta menos rentable y atractiva. Los principales objetivos de este trabajo se centran, por tanto, en la identificación de los componentes reutilizables en la definición de criterios de clasificación y recuperación especialmente adecuados para este tipo de componentes que permitan la gestión eficiente y eficaz de la biblioteca de componentes, y en el estudio de la reutilización de información de verificación formal almacenada en la biblioteca. Con este entorno de reutilización se consigue tanto minimizar las tareas de verificación formal --reutilización resultados previos-- especialmente críticas en este tipo de ciclos de vida, como las tareas de síntesis de modelos o prototipos --reutilizando prototipos funcionalmente próximos al especificado por el usuario. La proximidad funcional es el criterio subyacente en las relaciones de orden parcial y equivalencia definidas para organizar la biblioteca de componentes reutilizables, permitiendo así que componentes funcionalmente semejantes mantengan vínculos más estrechos en la biblioteca. Estos vínculos, aunque muy útiles, no son suficientes para estimar objetiva e independientemente la similitud funcional entre dos componentes cualesquiera, para ello se hace imprescindible el establecimiento de métricas que permitan cuantificar la proximidad funcional. El conjunto de relaciones de orden, de equivalencia y métricas definido constituye la base para todas las tareas de administración de la información disponible en la biblioteca. Taras el establecimiento de estas bases se definen los protocolos de clasificación, recuperación y adaptación de componentes con el objetivo de que bien su información de verificación, bien los propios modelos, sean reutilizados. Asimismo es necesario definir qué información de verificación será necesario almacenar y cómo la recuperación de esta información puede ayudar a minimizar las labores de verificación original.

Autor: PADILLA SORIANO NICOLÁS.
Año: 2001.
Universidad: ALMERIA .
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: El 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 para el trabajo en grupo, así como la de establecer técnicas para su diseño.

Autor: NAVARRO MARTÍN ANTONIO.
Año: 2001.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMÁTICAS.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Esta 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 representación hipermedia, modelos de procesos específicos del dominio hipermedia y las aportaciones fundamentales de los lenguajes de marcado en este campo se procede con el núcleo de la tesis. Dicho núcleo está dividido en tres partes. En la primera se presenta un modelo hipermedia, Pipe, cuyas características fundamentales son: cumple con los conceptos de los modelos Dexter y Ámsterdam, es capaz de representar aplicaciones dinámicas y tiene una semántica de navegación definida. La segunda parte muestra la integración de este modelo hipermedia con un modelo de proceso, el de Fraternali, lo cual produce los modelos de proceso Plumbing y Plumbing XJ. Plumbing es más abstracto y no compromete ninguna tecnología de prototipado. Plumbing XJ utiliza DTDs XML para representar los aspectos fundamentales de la aplicación de manera independiente: contenidos con sus enlaces y esquema navegacional. Después de una aplicación Java se encarga de generar prototipos en base a estas descripciones XML. La tercera parte incluye diversos ejemplos prácticos para mostrar la viabilidad de uso del modelo hipermedia y del modelo de proceso Plumbing XJ. También se incluyen diversos apéndices, entre los que cabe destacar una amplicación del modelo Pipe para caracterizar enlaces n-ario, y el diseño de la aplicación GAP.

Autor: ACUÑA CASTILLO SILVIA TERESITA.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La 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 software a partir de las necesidades de la organización. Las personas, sus capacidades y las interacciones en las que participan son el factor menos considerado en los modelos de proceso software actuales. Sin embargo, su importancia es obvia: las personas presentan un comportamiento no determinístico y subjetivo que influye de forma decisiva en los resultados de la producción de software, que es una actividad básicamente intelectual y social. Otros problemas relevantes de los modelos de proceso son la falta de definición de un modelo de proceso genérico que contemple procesos orientados a distintos tipos de software y la carencia de un proceso definido para incorporar tanto las partes técnicas como humanas del proceso y la forma de organización del trabajo interpersonal en el modelo. Este trabajo propone: A,- La definición de un modelo de proceso software que incluya los aspectos no considerados por los modelos de proceso existentes; organización del trabajo y personas, y que represente las interacciones entre todos los elementos (actividades, productos, técnicas, roles, capacidades, personas, organización del trabajo), y que considere los procesos de construcción de sistemas convencionales y de sistemas basados en conocimientos. B,- La definición de un método que permita incorporar aspectos organizacionales y de las personas involucradas en la modelización del proceso software. C,- La formalización del modelo de procesos software que facilite su implementación. La consideración de los recursos humanos provoca que el proceso refleje la situación real del proceso software de la organización modelizada y que se ejecuten procesos adecuados a la capacidad de los recursos humanos de la organización. El modelo integral propuesto asegura el recubrimiento y la modelización de todos los elementos influyentes, tanto organizacionales como técnicos, del proceso software genérico orientado a la capacidades, su modelización mediante procedimientos definidos y la obtención de modelos coherentes y adaptados a la organización particular que se ha analizado. Sobre la base de la discusión de la validación de los resultados, se afirma que la determinación de las capacidades de las personas involucradas en el desarrollo de proyectos de software, la definición de roles en función de las capacidades exigidas para su realización adecuada y la asignación de personas a roles según las capacidades requeridas de cada rol, mejora el proceso software, permitiendo a las personas que han desempeñado un rol en el experimento siguiendo el modelo propuesto realizar eficaz y eficientemente sus actividades. Además, se ha comprobado la viabilidad del modelo de proceso software genérico para desarrollar un sistema basado en conocimientos y un sistema convencional. Por último, el modelo formalizado obtenido representa tanto las tres P involucradas en un desarrollo: los procesos, los productos y las pesonas, como las capacidades y los roles, y favorecer la comprensión y la comunicación directa de los usuarios (ingenieros, gestores o desarrolladores) del proceso en relación con los aspectos del modelo integral considerados, es decir, generalidad y orientación a las capacidades del proceso software.

Autor: CASTRO RABAL JORGE.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÈCNICA CATALUNYA.

Autor: GALAN MORILLO FRANCISCO JOSÉ.
Año: 2000.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA Y ESTADÍSTICA.

Resumen: La tesis aborda el desarrollo de un formalismo que sirva de base para sintetizar software orientado a objetivos. Actualmente, se están desarrollado diversos formalismos gráficos. Textuales para especificar software. La falta de una semántica precisa y de un método sistemático de traducción compromente la correcición de las traducciones. Para resolver estos problemas se propone el lenguaje S-UMIL/OCL. Se trata de un lenguaje de especificación de software orientado a objetos caracterizado con una semántica adaptada a sintesis. La tesis destaca cada elemento del lenguaje S-UML/OCL conel correspondiente método de síntesis y una metodología de construcciónde especificaciones como paso previó a la síntesis.