Juego educativo enfocado al desarrollo de habilidades para aprender a modelar requerimientos con artefactos UML

El siguiente trabajo describe los resultados de una experiencia práctica con un juego serio llamado: 'Modela', dirigido tanto a alumnos de Ingeniería de Software como a los profesores que trabajen en esa área, con la intención que practiquen cómo modelar requerimientos con casos de uso y el modelo correcto de un diagrama de caso de uso.

Configuración de un entorno de trabajo para el desarrollo de software ágil con integración continua

Hoy en día, existen numerosos sistemas (financieros, fabricación industrial, infraestructura de servicios básicos, etc.) que son dependientes del software. Según la definición de Ingeniería del Software realizada por I. Sommerville, “la Ingeniería del Software es una disciplina de la ingeniería que comprende todos los aspectos de la producción de software desde las etapas iniciales de la especificación del sistema, hasta el mantenimiento de éste después de que se utiliza.” “La ingeniería del software no sólo comprende los procesos técnicos del desarrollo de software, sino también actividades tales como la gestión de proyectos de software y el desarrollo de herramientas, métodos y teorías de apoyo a la producción de software.” Los modelos de proceso de desarrollo software determinan una serie de pautas para poder desarrollar con éxito un proyecto de desarrollo software. Desde que surgieran estos modelos de proceso, se investigado en nuevas maneras de poder gestionar un proyecto y producir software de calidad. En primer lugar surgieron las metodologías pesadas o tradicionales, pero con el avance del tiempo y la tecnología, surgieron unas nuevas llamadas metodologías ágiles. En el marco de las metodologías ágiles cabe destacar una determinada práctica, la integración continua. Esta práctica surgió de la mano de Martin Fowler, con el objetivo de facilitar el trabajo en grupo y automatizar las tareas de integración. La integración continua se basa en la construcción automática de proyectos con una frecuencia alta, promoviendo la detección de errores en un momento temprano para poder dar prioridad a corregir dichos errores. Sin embargo, una de las claves del éxito en el desarrollo de cualquier proyecto software consiste en utilizar un entorno de trabajo que facilite, sistematice y ayude a aplicar un proceso de desarrollo de una forma eficiente. Este Proyecto Fin de Grado (PFG) tiene por objetivo el análisis de distintas herramientas para configurar un entorno de trabajo que permita desarrollar proyectos aplicando metodologías ágiles e integración continua de una forma fácil y eficiente. Una vez analizadas dichas herramientas, se ha propuesto y configurado un entorno de trabajo para su puesta en marcha y uso. Una característica a destacar de este PFG es que las herramientas analizadas comparten una cualidad común y de alto valor, son herramientas open-source. El entorno de trabajo propuesto en este PFG presenta una arquitectura cliente-servidor, dado que la mayoría de proyectos software se desarrollan en equipo, de tal forma que el servidor proporciona a los distintos clientes/desarrolladores acceso al conjunto de herramientas que constituyen el entorno de trabajo. La parte servidora del entorno propuesto proporciona soporte a la integración continua mediante herramientas de control de versiones, de gestión de historias de usuario, de análisis de métricas de software, y de automatización de la construcción de software. La configuración del cliente únicamente requiere de un entorno de desarrollo integrado (IDE) que soporte el lenguaje de programación Java y conexión con el servidor. ABSTRACT Nowadays, numerous systems (financial, industrial production, basic services infrastructure, etc.) depend on software. According to the Software Engineering definition made by I.Sommerville, “Software engineering is an engineering discipline that is concerned with all aspects of software production from the early stages of system specification through to maintaining the system after it has gone into use.” “Software engineering is not just concerned with the technical processes of software development. It also includes activities such as software project management and the development of tools, methods, and theories to support software production.” Software development process models determine a set of guidelines to successfully develop a software development project. Since these process models emerged, new ways of managing a project and producing software with quality have been investigated. First, the so-called heavy or traditional methodologies appeared, but with the time and the technological improvements, new methodologies emerged: the so-called agile methodologies. Agile methodologies promote, among other practices, continuous integration. This practice was coined by Martin Fowler and aims to make teamwork easier as well as automate integration tasks. Nevertheless, one of the keys to success in software projects is to use a framework that facilitates, systematize, and help to deploy a development process in an efficient way. This Final Degree Project (FDP) aims to analyze different tools to configure a framework that enables to develop projects by applying agile methodologies and continuous integration in an easy and efficient way. Once tools are analyzed, a framework has been proposed and configured. One of the main features of this FDP is that the tools under analysis share a common and high-valued characteristic: they are open-source. The proposed framework presents a client-server architecture, as most of the projects are developed by a team. In this way, the server provides access the clients/developers to the tools that comprise the framework. The server provides continuous integration through a set of tools for control management, user stories management, software quality management, and software construction automatization. The client configuration only requires a Java integrated development environment and network connection to the server.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Automatic DVB signal analyser

El problema de controlar les emissions de televisió digital a tota Europa pel desenvolupament de receptors robustos i fiables és cada vegada més significant, per això, sorgeix la necessitat d’automatitzar el procés d’anàlisi i control d’aquests senyals. Aquest projecte presenta el desenvolupament software d’una aplicació que vol solucionar una part d’aquest problema. L’aplicació s’encarrega d’analitzar, gestionar i capturar senyals de televisió digital. Aquest document fa una introducció a la matèria central que és la televisió digital i la informació que porten els senyals de televisió, concretament, la que es refereix a l’estàndard "Digital Video Broadcasting". A continuació d’aquesta part, l’escrit es concentra en l’explicació i descripció de les funcionalitats que necessita cobrir l'aplicació, així com introduir i explicar cada etapa d’un procés de desenvolupament software. Finalment, es resumeixen els avantatges de la creació d’aquest programa per l’automatització de l’anàlisi de senyal digital partint d’una optimització de recursos.

Gestiód'events : rumbo

L'objectiu principal del projecte de final de carrerà és aprendre i entendre com es desenvolupen i mantenen aplicacions en tecnologia J2EE. Ja que és una tecnologia que esta molt de moda i que utilitza la gran part del mercat de desenvolupament de programari. L'altre objectiu era desenvolupar una aplicació de gestió d'esdeveniments que permetes els usuaris enregistrarse els esdeviments i les empreses oferir i controlar l'assistència d'aquests esdeveniments.

TFC - IHO : usabilitat web venda de parquets de bambú

Des de fa ja alguns anys que el sector de la construcció està malmès degut a la crisi econòmica actual i moltes de les empreses que hi ha no aconsegueixen sortir del pou i tenen seriosos problemes per a vendre els seus productes o serveis. És aquí on sorgeix una magnífica possibilitat d'utilitzar tècniques d'usabilitat i accessibilitat Web que poden permetre a les empreses del sector de la construcció millorar els ratis tant de captació com de fidelització de clients ja que la idea és aconseguir realitzar una Web pensada en l'usuari i per l'usuari tenint en compte sempre les seves necessitats. Com el sector és molt estès i per ser competitiu cal tenir algun factor diferenciador, com per exemple el de la sostenibilitat que està tan de moda, en aquest projecte s'ha volgut treballar amb una empresa que acompleix tots dos requisits: ven parquet de bambú i alhora aquesta planta és totalment sostenible.

GesClínic : enginyeria del programari

This paper deals with the problem of managing a medical centre to have control over patients, medical records, physicians, nurses, secretaries and administrators of the application.

Aplicación de gestión de expedientes internacionales

Realizar la toma de requisitos y el análisis de una aplicación web que cubra las necesidades del registro de trámites y comunicaciones que tienen lugar durante la vida de los expedientes de los servicios de cuatro unidades tramitadoras de expedientes internacionales, y almacenar todos los datos relevantes para su seguimiento.

Interfície de control de dades en una fàbrica

Aquest treball tracta de l'estudi i creació de la interfície d'una aplicació que reculli les dades de control generades en un procés productiu real en una petita planta de fabricació amb cinc treballadors.

Projecte gestió de formació

Projecte que dissenya una aplicació que gestiona la formació dels empleats d'una empresa pública.

Evolución del índice espacial para la extensión JASPA sobre H2

El presente documento describe los trabajos realizados en el ámbito del Proyecto Fin de Carrera de la titulación de Ingeniería Informática de la Universitat Oberta de Catalunya para la creación de un nuevo índice espacial para la extensión JASPA sobre H2. En él se detallan el análisis y desarrollo realizados así como la documentación generada durante su proceso de creación.

Realitat augmentada per Android a la Vall d'Incles

En aquest treball s'exposa un petit estudi de la tecnologia Android, també es fa un anàlisi de la realitat augmentada i del framework LookAR. Es comença amb una visió general del funcionament d'Android, es repassa el concepte de realitat augmentada i s'analitzen diferents eines de treball per RA. Es fa una descripció del funcionament de LookAR i s'analitzen les eines per a mapes GoogleMaps i OpenstreetMaps. Finalment es realitza una aplicació en Android amb quatres funcionalitats. Una funció de càmera de realitat augmentada amb el framework Lookar, una funció de GoogleMaps per mostrar la nostra ubicació en un mapa, una altre funció per mostrar la localització via GPS o WIFI i finalment una funció per mostrar una llista de diferents punts d'interès que s'utilitzaran per mostrar informació sobre el mapa i en la càmera de realitat augmentada.

Tabaquisme

Registre de tabaquisme on es fa un seguiment mitjançant controls i visites.

Gestor móvil de hábitos y rutinas en el tratamiento del dolor crónico

Fibroline es un proyecto multidisciplinar recién iniciado, cuyo objetivo es desarrollar una aplicación para dispositivos móviles capaz de cubrir buena parte de las necesidades de apoyo, seguimiento y asistencia que tienen los pacientes de Fibromialgia, haciéndolo además desde la comodidad e intimidad del hogar y evitando así en la medida de lo posible desplazamientos del paciente o molestas irrupciones en su vida cotidiana. El presente proyecto de final de carrera desarrolla un módulo fundamental de Fibroline: El Gestor de los Hábitos y Rutinas que el paciente debe ir incorporando a su vida durante su tratamiento.

Quiz per a dispositius mòbils

Actualment la telefonia mòbil, una indústria en constant evolució i que centra l'atenció de milers de milions d'usuaris, està produint un important canvi en els hàbits relacionals, professionals, lúdics i actitudinals de les persones. En aquest entorn d'innovació constant cal una metodologia de treball ràpida i efectiva que permeti la gènesi de noves versions de forma eficient i sobretot econòmica per al desenvolupament de noves aplicacions informàtiques i mòbils.