Search

Los problemas que puedan presentar los adolescentes y jóvenes afectan su vida futura y desví­an su comportamiento, tales actitudes entran en contradicción con nuestra sociedad que aspira a formar jóvenes que amen a la patria, que sean humanos, solidarios, honrados, internacionalistas, altruistas. Se realizó una investigación de desarrollo tecnológico con el objetivo de elaborar una multimedia educativa para el fortalecimiento de los valores en los estudiantes. Se utilizaron métodos cientí­ficos. Para la creación de la multimedia se efectuó un trabajo grupal con el propósito de determinar los contenidos que serí­an incluidos, así­ como, cada una de las etapas que llevarí­a el proceso en su confección. El entorno que rige al programa se basa en la psicologí­a del color, tiene un ambiente gráfico capaz de captar la atención del estudiante y su manipulación es muy sencilla. El diseño de la multimedia con sus potencialidades motiva a los estudiantes, en el proceso de orientación, integra los contenidos sobre valores y los presenta de una forma amena, valiéndose de diversos recursos multimediales que hacen de la misma una aplicación de consulta y referencia para el fortalecimiento de los valores en los estudiantes de las ciencias médicas. Además de contar con los principios de sistematización, actualidad del contenido y factibilidad.

Es este documento se resumen las principales líneas actuales de investigación del grupo GHIA en lo que a informática educativa se refiere, así como su contexto y proyectos de futuro., This document summarizes the main research areas of GHIA regarding computer based learning, as well as its context and future work., En el momento actual, agradecemos su apoyo a los proyectos ASIES (TIN2010-17344) y Go-Lite (TIN2011-24139), financiados por el Ministerio de Educación, y al proyecto e-Madrid (S2009/TIC-1650), financiado por la Comunidad Autónoma de Madrid.

Tesis doctoral inédita. Universidad Autónoma de Madrid, Escuela Politécnica Superior, diciembre de 2007

El procesamiento del lenguaje natural ha tenido mucha importancia en estos últimos años, dando lugar al desarrollo de bots conversacionales o chatbots que automatizan las tareas. Los agentes conversacionales se usan para automatizar tareas usando lenguaje natural y pueden ser usados por medio de voz, llamados asistentes de voz o de texto. Dentro del desarrollo software, pueden ser útiles automatizando tareas de programación y de gestión de proyectos, ayudando en todas las fases del ciclo de vida del software, en cualquier lugar, y así, reduciendo el esfuerzo empleado. Este Trabajo Fin de Grado se centra en el desarrollo de un asistente conversacional para realizar tareas de modelado. Para ello se va a ampliar la herramienta SOCIO, un chatbot para modelado colaborativo que funciona en Telegram y Twitter, con una API REST que permite realizar las acciones de SOCIO y recibir su respuesta. Se ha usado la herramienta Dialogflow, que permite que Google pueda interpretar el lenguaje natural, y usando técnicas de aprendizaje automático, detecta la intención del hablante. Dialogflow enviará la intención del usuario a una API intermedia, que se encarga de interpretar la intención del usuario y enviar peticiones a la API de SOCIO para que le devuelva el resultado de la acción solicitada. Según la respuesta de SOCIO, nuestra API elaborará una respuesta al emisor, que además de dar una respuesta hablada o escrita, reflejará los resultados, si procede, a una página web creada por nuestra API, única por sesión de usuario. El idioma usado para este asistente de voz es el Inglés, pero está abierto para un posible asistente multilenguaje, añadiendo otros idiomas como el Español, Francés, Chino, Alemán,etc.

Este Trabajo Fin de Grado habla sobre la creación de un Bot que integrará la API de modelado SOCIO con la aplicación empresarial SLACK. La interacción entre el bot y la API de modelado se gestiona a través de peticiones por las cuales podremos gestionar, modificar y visualizar todos los cambios que puedan haberse dado en un proyecto pudiendo obtener detalles sobre el proyecto como pueden ser usuarios del proyecto que pueden leer o escribir en el así como obtener imágenes en tiempo real de alguna posible modificación por parte de otros usuarios o incluso realizar consensos y votaciones entre diferentes ramas para la elección del óptimo. Este proyecto incluye la interacción con diferentes sistemas, redes y usuarios para un correcto y óptimo funcionamiento con la API, además de la labor de creación e integración de un bote que nos ayudara de una manera intuitiva, fácil y visual sobre la gestión de un proyecto, su evolución y los diferentes sucesos que pueden ocurrir en el mismo. Todo esto a través de una aplicación empresarial que está tomando mucha fuerza en el mercado, SLACK, la cual podría resumirse como una aplicación IRC donde habrá diferentes canales y los usuarios podrán comunicarse unos con otros. La gran ventaja de SLACK es la integración de diferentes aplicaciones y bits que aumentan la productividad de la misma pudiendo automatizar tareas y Mostar avisos a los usuarios que lo deseen. En primera instancia se explicará que es un Bot y que papel puede desempeñar en las labores de interacción de un usuario y un sistema. Además, se mostrarán que tipos de sistemas y cómo actúan para un correcto funcionamiento de un sistema global que integra varios subsistemas y componentes digitales. Se analizará y se mostrará todo el proceso técnico que se ha tenido que desempeñar para llevar a cabo la realización del Bot, así como todas las conexiones de los sistemas que se encuentran en la interacción del usuario con el Bot.

La detección de copias en el ámbito académico resulta de elevada importancia, ya que las copias fraudulentas repercuten de manera muy negativa en el aprendizaje de los alumnos, además de las serias implicaciones morales que acarrean. Por ello, el objetivo de este Trabajo de Fin de Grado es la creación de un sistema que permita detectar los plagios existentes en un conjunto de ficheros que estén escritos en código Ruby. El profesor podrá utilizar el sistema para detectar las copias entre los ficheros que se encuentren en una ubicación local; posteriormente, podrá revisar los pares de ficheros que el sistema haya detectado como copias. Proveer de un sistema que permita detectar dichas copias complementaría el sistema de detección de plagios con el que ya cuenta Moodle, lo que además llevaría a una reticencia por parte del alumnado a continuar realizando copias, pues el riesgo de ser detectado puede ser ahora mayor gracias al sistema. La dificultad de proporcionar un sistema que detecte copias es elevada debido a múltiples factores, en primer lugar, se deben minimizar tanto el número de falsos positivos como el de falsos negativos, así como la dificultad técnica que acarrea detectar las copias, debido al hecho de que comúnmente, el estudiante intenta con los medios a su disposición hacer la copia lo menos parecido posible al original. En cuanto al apartado técnico del trabajo, en primer lugar se analizará el estado del arte en cuanto a los métodos actuales de detección de copias y se explicarán brevemente cada una de las aproximaciones posibles para abordar el problema; después, se llevará a cabo el análisis para determinar los requisitos que deben ser satisfechos por la aplicación. Más adelante se tratará el proceso de desarrollo de la aplicación, en la que se ha utilizado el lenguaje de programación Scala, haciendo uso de la librería JavaFX para el desarrollo de la interfaz de usuario. En este trabajo se desarrollarán tanto el backend de la aplicación como una interfaz de usuario que permita la correcta interacción con el sistema.

En este trabajo se describe el diseño e implementación de un entorno que genera ejercicios tipo test de forma automática mediante técnicas de mutación, llamado Wodel-Edu. Wodel-Edu es una extensión de post-procesado para el Lenguaje de Dominio Específico (DSL) Wodel, desarrollado por el grupo MISO, y que proporciona primitivas de alto nivel para mutación de modelos. Para ello, se ha extendido el DSL Wodel con nuevas primitivas de mutación, nuevas estrategias de selección, un registro de las mutaciones aplicadas, un control de la generación de mutantes duplicados, y una comprobación de que los mutantes que se generan son modelos correctos (conformes a su meta-modelo). También se ha dotado a Wodel de un mecanismo extensible que permite registrar distintas acciones de post-procesado sobre los mutantes generados, extensión sobre la que se ha implementado el entorno Wodel-Edu. Wodel-Edu es independiente del dominio, y genera tres formatos diferentes de ejercicios tipo test: el primero, en el que se presentan varios diagramas, y el estudiante ha de decidir cuál es el correcto; el segundo, en el que se presenta un único diagrama, y el estudiante ha de decidir si es correcto, o no; el tercer formato, se presentan una serie de posibles cambios a realizar sobre el diagrama para corregirlo, y el estudiante ha de seleccionar cuáles de estos cambios son correctos. En este trabajo se ha elegido utilizar Wodel-Edu para generar ejercicios de autómatas finitos. Se presenta además una evaluación de la aplicación de ejercicios generada., This work presents the design and development of a framework for the automatic generation of test exercises using mutation techniques, that we call Wodel-Edu. Wodel-Edu is a post-processing extension for the Domain-Specific Language (DSL) Wodel - developed by MISO group - that provides high level primitives for model mutation. We extend the DSL Wodel with new mutation primitives, new selection strategies, a registry of the applied mutations, a duplicated mutant generation control, and a verification that the generated mutants are conforming to the meta-model. We also improve Wodel with an extensible mechanism that allows applying post-processing actions to the generated mutants, and we use this feature to include the Wodel-Edu extension in the Wodel environment. Wodel-Edu is domain independent, and generates three kind of test exercises: the first one, where several diagrams are shown to the student, and he has to choose which one is correct; the second one, where just one diagram is shown to the student, and he has to choose if it is correct or not; and the third kind of exercise, where several changes, that can be applied to the diagram, are presented to the student, and he has to choose which of these changes are correct. In this work, we chose to apply Wodel-Edu to generate finite automata exercises. We also present an evaluation of the generated test application.

El uso del juego como método de aprendizaje para motivar a los alumnos a adquirir conocimientos y competencias de forma más amena es una técnica utilizada desde hace tiempo. Pero no fue hasta principios de este milenio cuando fue bautizado con el término gamificación y comenzó a cobrar importancia. Este método cada vez es más usado y no sólo con niños, también se han aplicado estas técnicas al ámbito profesional, desde recreaciones de quirófano para médicos hasta simuladores de vuelo para pilotos. El objetivo de este proyecto es crear una plataforma que permita a los alumnos mejorar sus conocimientos sobre el diseño orientado a objetos, más concretamente sobre los diagramas de clases UML, utilizando técnicas de gamificación. Con este objetivo, se ha desarrollado Diagame, un sistema que consta de un módulo de gestión, un módulo de generación de ejercicios, y un módulo de juego. El módulo de gestión permite a los profesores crear enunciados y sus diagramas de clases solución. El módulo de generación de ejercicios crea versiones erróneas de las soluciones proporcionadas por el profesor mediante la inyección aleatoria de distintos tipos errores, con objeto de obtener automáticamente ejercicios que ofrecer a los estudiantes. Por último, el módulo de juego, donde el alumno adoptará el papel de dueño de una pequeña empresa. Para incrementar el valor de la empresa el usuario deberá resolver correctamente diagramas de clases UML que le aportarán unos beneficios. Con este dinero el alumno puede contratar empleados y bonificadores especiales que incrementen el valor de los próximos diagramas que resuelva el usuario, para obtener beneficios muchos mayores y subir posiciones en el ranking de empresas más valiosas., The use of games as a learning method to motivate students to achieve knowledge and skills in a more pleasant way is a technique that has long been used. But it was not until early this millennium when the term gamification was coined and began to gain importance. This method is being increasingly used not only with children, but it has also been applied in professional contexts, ranging from surgical virtualizations for doctors to flight simulators for pilots. The goal of this project is to create a platform that allows students to improve their knowledge on object-oriented design, more specifically on UML class diagrams, by means of gamification techniques. For this purpose, we have created Diagame, a system that includes a management module, an exercise generation module, and a game module. The management module allows teachers to create problem statements and their solution diagrams. The exercise generation module creates faulty versions of the solutions provided the teacher, by injecting them different types of error randomly. Finally, in the game module, students play the role of owner of a small business. In order to increase the value of the company, students must solve UML class diagrams correctly, obtaining profits in return. With this money, the student may hire employees and buy special bonuses which will increase the value of the next solved diagrams, in order to obtain further benefits and lead the ranking of most valuable companies.

Ruby es un lenguaje de programación relativamente nuevo que día a día se está haciendo más popular. La principal diferencia que tiene con respecto a los lenguajes de programación tradicionales es su carácter dinámico. Esto supone ciertas ventajas de cara al usuario como la libertad de inyectar código en tiempo de ejecución o no tener que asignar un tipo estático a las variables de programa. Esta libertad tiene un precio, y es que precisamente ese tipado de variables se hace en el propio tiempo de ejecución y por lo tanto hasta entonces no se puede saber si se ha cometido un error de ese tipo, mientras que en otros lenguajes tradicionales estos errores se detectan en tiempo de compilación. Así pues, el objetivo de este trabajo es el desarrollo de un analizador de código Ruby capaz de asignar tipos a las variables estáticamente para así reportar los posibles errores cometidos antes del tiempo de ejecución. El analizador es accesible a través de un API, con operaciones para ejecutar el análisis, reportar errores relativos al tipado y permitir consultas para proveer información acerca de los objetos de programa (clases, funciones, etc.) al usuario de forma clara y concisa. En este documento veremos cómo se ha llevado a cabo el estudio, análisis, diseño, implementación y validación de este analizador estático de código Ruby, que abre la posibilidad para su posterior integración en un entorno de desarrollo real., Ruby is a relatively new programming language which is becoming more popular each day. The main difference between Ruby and other classic programming languages is its dynamic behavior. From the developer’s point of view this implies several benefits such as the possibility of adding new code at runtime or not requiring the assignment of types to program variables statically. This freedom comes at a price, which is that the type checking is made on runtime so the user cannot know until then if he has made mistakes about typing, while in other classic programming languages these mistakes are reported at compilation time. Because of that, the main goal of this project is to develop a Ruby code analyzer capable of typing objects statically so it can detect and report errors before runtime. This analyzer can be used through an API with options such as executing the analysis, reporting errors and providing all the information about program objects (classes, functions, etc.) to the user in a simple and clear way. In this document we will explain how the study, analysis, design, implementation and validation of this Ruby code static analyzer has been carried out, allowing its integration with real development environments in the future.

Una técnica para medir la efectividad de un conjunto de casos de prueba y ayudar a mejorarlo son las pruebas de mutación. En las pruebas de este tipo, se insertan fallos en un programa para obtener distintas versiones erróneas del mismo. Al error introducido en el programa se le denomina mutación y a las nuevas versiones del programa inicial se les llama mutantes, y se utilizan para comprobar si, dado un conjunto de casos de prueba, éste es capaz de detectar los fallos introducidos en cada mutante. En caso de no detectarlos, el desarrollador debe proporcionar nuevos casos de prueba que detecten los mutantes creados, mejorando de este modo la calidad del conjunto de casos de prueba inicial. El objetivo de este Trabajo de Fin de Grado es construir una herramienta de mutación que genere de forma automática mutantes de un programa escrito en el lenguaje ATL (Atlas Transformation Language), para posteriormente poder medir la eficacia del conjunto de casos de prueba diseñado para probar el programa. ATL es un lenguaje de programación para definir transformaciones de modelos, que son un tipo de programa software cuyos argumentos de entrada y salida son modelos. Se utilizan dentro del paradigma de Desarrollo Dirigido por Modelos, que es un método de desarrollo de software en el que los datos que se manejan son modelos. Las mutaciones que se generan y describen en el presente trabajo están orientadas a este tipo de software., Mutation testing is a technique to measure the efficacy of a set of test cases and help to improve it. On this kind of testing, faults are injected into a program to get faulty versions of it. Errors introduced in the program are called mutations and the new versions of the original program are called mutants, and they are used to check whether, given a set of test cases, this is able to detect the faults introduced in each mutant. If they are not detected, the developer must provide new test cases that detect the created mutants, thus improving the overall quality of the initial test set. The objective of this Bachelor’s Project is to build a mutation tool to generate automatically mutants of a program written with the ATL language (Atlas Transformation Language), and measure the efficacy of a set of test cases designed for testing the program. ATL is a programming language to implement model transformations, which are programs whose input and output arguments are models. They are used in the context of Model Driven Development, which is a software development method where the manipulated data are models. The mutations generated and described on this work are oriented to this kind of software.