https://hdl.handle.net/10481/13724 2026-04-12T07:50:40Z 2026-04-12T07:50:40Z Hornos Barranco, Miguel Juan Augusto, Juan Carlos https://hdl.handle.net/10481/19601 2021-06-29T07:28:49Z

Installation process and main functionalities of the Spin model checker Hornos Barranco, Miguel Juan; Augusto, Juan Carlos This document explains how to download and install all the software needed to properly run the Spin model checker and its user-friendly graphical user interface, called iSpin. It also offers a short tutorial which presents the main functionalities of Spin and explains briefly some basic concepts which are important to be able to use Spin through iSpin.

López Martínez, Álvaro https://hdl.handle.net/10481/16060 2021-06-29T07:28:49Z

Hacia Tutor 2.0: Aplicando características de la Web 2.0 a Tutor López Martínez, Álvaro El objetivo principal de este proyecto es sentar las bases para dotar de características de la Web 2.0 a Tutor, que es un LMS (Learning Management System) o sistema web de apoyo a la enseñanza universitaria que desde 2003 está siendo desarrollado fundamentalmente por miembros del Departamento de Lenguajes y Sistemas Informáticos de la Universidad de Granada, y usado en bastantes asignaturas de diferentes titulaciones de esta universidad. Una aplicación Web 2.0 tiene como principales características la interoperabilidad y el diseño centrado en el usuario, de modo que éstos puedan fácilmente compartir información y se fomente la colaboración entre ellos. Estas características son muy apropiadas para un sistema como Tutor. Por tanto, en este trabajo se hace un estudio de las características presentes en esta plataforma hasta el momento, se analizan los requisitos básicos de un sistema 2.0, se propone un nuevo diseño e implementación para integrarlos en Tutor y se desarrollan nuevas funcionalidades en base a los mismos.