Academic Theses

Juego Móvil de Postas basado en Posicionamiento

Estos últimos años se ha experimentado un fuerte avance tecnológico, específicamente en el área de dispositivos móviles, volviéndose accesible a un gran número de personas. Consecuentemente, han ido surgiendo juegos móviles basados en posicionamiento con diferentes grados de interacción y colaboración entre los participantes involucrados. Si bien existen varios dominios relacionados a estos juegos, el concepto de postas no es un aspecto explorado a nivel de diseño en los mismos. Esto motivó el trabajo propuesto en la presente tesis. En estos juegos, un jugador (o grupo de jugadores) le entrega el control a otro para seguir jugando. En esta tesis se extendió el modelo presentado en la tesis de grado desarrollada por Matías Apezteguía y Darío Rapetti denominada "Juego Educativo Móvil Colaborativo", para contemplar el concepto de postas como una característica relevante en dicho modelo. Esto permitió contar con un modelo para Juegos Móviles de Postas basados en posicionamiento. Cada posta se lleva a cabo en un lugar determinado del ambiente (puntos de interés) y el conjunto de éstas determina el "Camino" asociado al juego. En cada punto de interés se le realiza una pregunta al jugador, al responderla debe moverse (caminar) hasta el siguiente lugar, y al llegar, se le entrega la "posta" al siguiente jugador, para que éste pueda responder, y así seguir el juego. Usando el modelo propuesto, se implementó un prototipo funcional de juego móvil de postas basado en posicionamiento.

Cliente para plataforma de búsqueda de biomarcadores con valor pronóstico/predictivo de cáncer

El objetivo de esta tesina es el diseño y desarrollo de una aplicación cliente extensible, portable, de fácil distribución en el marco de una plataforma, cuyo origen se remite a la tesis ‘Metodología analítica e integradora para la generación de biomarcadores de pacientes con cáncer de mama sobre la base de perfiles de expresión génica’ de maestría en Explotación de datos y descubrimiento de conocimiento de Matías Butti. En dicho trabajo se presenta una plataforma, denominada Bioplat, para la identificación, validación y optimización de biomarcadores en cáncer. La plataforma Bioplat está compuesta de varios componentes y una de los principales es el cliente desarrollado en este trabajo, en el cual se describe la integración del mismo con el resto de la plataforma, tanto desde el punto de vista funcional y de sus requerimientos, como desde lo técnico. Además, se presentan las soluciones de software propuestas a la estructura de la plataforma que permitan fácilmente, que ésta sea extensible por el equipo de desarrollo Bioplat, por desarrolladores que deseen enriquecer la plataforma con ideas y/o desarrollos propios compartidos luego con la comunidad Bioplat o por usuarios finales.

Modelo de Gestos considerando Contexto

En los últimos años hubo un gran avance en las tecnologías referentes a control de movimiento. Los más conocidos, si bien fueron pensados para el ámbito de los videojuegos, tienen sus aplicaciones en otros escenarios. Sin embargo, dentro de los proyectos que se han estudiado, ninguno muestra una separación clara entre el dominio o lógica de la aplicación y la recuperación de los datos a través de los sensores. Es por esto que se ve la falta de un modelo general capaz de integrar diferentes funcionalidades o medios de recuperación de datos y que, a su vez, los mismos se encuentren desacoplados, es decir, que la aplicación no sea dependiente de los sensores que utiliza. En esta tesis se propone un modelo general de gestos desacoplado de su mecanismo de sensado. A su vez, este modelo se definirá de manera independiente a las acciones que desencadenan dichos gestos. Para lograr esto se utilizará el concepto de sensibilidad al contexto. Finalmente desarrollaremos un prototipo para probar el funcionamiento del modelo propuesto y el estudio del Kinect como sensor de movimiento particular.

“Formalización con Metodologías MDD de una Propuesta de Framework Enfocada a Soluciones de Procesamiento Transaccional”

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquecer cualquier modelo mediante información adicional o restricciones sobre sus elementos; entonces, la derivación de código y casos de prueba a partir de un modelo enriquecido con restricciones y especificaciones en este lenguaje permitirá contar con un soporte mucho más robusto de nuestro sistema. Tras el análisis de varias herramientas de generación automática de código a partir de modelos de software, se llegó a la conclusión de que casi ninguna de ellas incluye la traducción de restricciones en el modelo escritas en un lenguaje formal. Es por ello que la tesina consistió en un análisis de varios lenguajes formales de especificación (o modelado), especialmente de los lenguajes UML/OCL y Alloy. A partir de ello se desarrolló una herramienta para Eclipse, que permite, a partir de una especificación de un modelo UML poseyendo restricciones OCL, la generación automática de código Java, incluyendo las clases del modelo junto con sus respectivos Casos de Prueba, regulados por OCL. Paralelamente se genera de forma automática una especificación Alloy que permite el análisis formal estático del modelo.

“Sistema experto para el relevamiento de requerimientos utilizando una Ontología sobre Dominios Complejos”.