Aplicación para dispositivos móviles basados en Android para la consulta y gestión de reservas de vuelos de la aerolínea Canaryfly

[ES]El actual proyecto consiste en la implementación de un primer prototipo de la aplicación basada en dispositivos Android que la empresa Canaryfly, una aerolínea canaria, ofrecerá a sus clientes con el objetivo  de facilitarles información de sus vuelos y la posibilidad de gestionar sus reservas. La aplicación final pretende ser una extensión del sistema actual de Canaryfly, dado que el objetivo que se persigue  es el de ofrecer las mismas funcionalidades que ofrece la página web. Las funcionalidades desarrolladas para este proyecto han sido la creación de formularios para realizar la solicitud de presupuestos para vuelos especiales, dígase chárter y vuelos en grupo. También se ha creado un primer sistema de facturación online y otro formulario para la recuperación de datos de una reserva, además del formulario para la búsqueda de vuelos.

JavaFMI una librería Java para el estándar Functional Mockup Interface

[ES] El estándar Functional Mockup Interface (FMI), es un estándar abierto e independiente de cualquier aplicación o herramienta que permite compartir modelos de sistemas dinámicos entre aplicaciones. Provee una interfaz escrita en lenguaje C que ha de ser implementada por las distintas herramientas exportadoras y pone en común un conjunto de funciones para manipular los modelos.
JavaFMI es una herramienta que permite utilizar simulaciones que cumplen con el estándar FMI en aplicaciones Java de una manera muy simple, limpia y eficiente. Es un proyecto open source con licencia LGPL V2.1H y su código fuente se encuentra disponible para ser clonado en la pagina del proyecto. El proyecto se encuentra alojado en www.bitbucket.org/siani/javafmi y cuenta con una página de bienvenida donde se explica como se usa la librería, una página para reportar incidencias o solicitar que se implementen nuevas historias y una página donde se listan todas las versiones que hay disponibles para descargar. JavaFMI se distribuye como un fichero zip que contiene el .jar con el código compilado de la librería una carpeta lib con las dos dependencias que tiene con librerías externas y una copia de la licencia. Comparada con JFMI, con menos lineas de código, una API limpia, expresiva y auto documentada, y un rendimiento que es un 66 % mejor, JavaFMI es objetivamente la mejor herramienta Java que existe para manipular FMUs de la versión 1.0 y 2.0 del estándar FMI.

SweetRunner : juego de plataforma estilo runner para Android

[ES] El primordial objetivo del presente Trabajo de Final de Título (TFT) es realizar un juego de plataforma estilo runner para dispositivos móviles con sistema Android, y por medio de este, realizar un análisis de las diferentes herramientas que se pueden emplear para el desarrollo juegos para móvil estilo runner.  El resultado que se obtuvo fue SweetRuner, una aplicación móvil que permite jugar en dispositivos móviles que posean sistema Android en una versión igual o superior a Honeycomb. Las características que posee SweetRunner son: creación aleatoria de los elementos del juego; obstáculos y bonificaciones; aumento de dificultad conforme aumenta la puntuación; cálculo de puntuación y puntuación máxima; finalmente, comunicación con la red social Facebook. El desarrollo de SweetRunner se realizó en el motor de videojuegos Unity3D, ya que es considerado la mejor opción para este tipo de juegos, por las facilidades que brinda y por su sencillez y amigabilidad. La mayoría de las herramientas empleadas en el desarrollo de la app son de software libre, pero también se ha trabajado con software privativo. Es por esta razón que el presente trabajo se distribuye bajo la licencia GNU LGPL versión3, ya que con esta licencia se pueden enlazar a un programa no GPL, que puede ser software libre o no. El presente trabajo tiene el potencial necesario para convertirse en una guía para desarrollar juegos para móviles estilo runner. Esta guía facilitará el proceso de desarrollo y optimización, además de ayudar a entender el funcionamiento y la potencialidad de las diferentes herramientas y componentes que se usaron.  

Connect2, Launcher Android configurable desde una interfaz web

[ES] Este proyecto se ha orientado a crear un Launcher que permite la configuración remota a través de una web, se puede cambiaren tiempo real la pantalla de inicio del teléfono, puesto que desde la web se puede : enviar mensajes, añadir aplicaciones y contactos. La pantalla de inicio ha sido simplificada, Además la aplicación elimina de la vista del usuario los elementos que no son importantes. En resumen se puede adaptar la pantalla de inicio de manera fácil a cada usuario.

Diseño e implementación de un conjugador verbal como aplicación Android

[ES]Desarrollo de una aplicación Android con un diseño de interfaz de usuario para smartphones y otro para tabletas cuya finalidad es mostrar información acerca del verbo introducido por el usuario. Por un lado, sería la visualización de todas las formas verbales que posee el verbo, las cuáles son obtenidas de una serie de servicios remotos pertenecientes al grupo TIP (Text & Information Processing) y que deberán ser tratadas antes de ser visualizadas. Y, por otro lado, la información que nos permitirá identificar al verbo, las definiciones de sus posibles significados y notas asociadas a la forma de conjugarse. Esta información, en cambio, se obtendrá de una serie de servicios locales en la propia aplicación basado en ficheros de texto.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Best practice: streaming server for educational videos at Universities

[EN]In this paper we present a video streaming solution. It describes the functionality of streaming server at our university and the workflow to embed videos into the learning platform Moodle. By the server-side role management teachers can get access to upload their recorded lectures to the server. Videos will be converted into different streaming formats and embed into the learning platform with provided embed code. The number of teachers who use this proposal is continuously growing at our university. Beside the lecture scripts the videos watched often by the students what the numbers of video accesses in the Moodle course and the streaming server traffic significantly show.