Especialidades

Computación
Ing. de Computadores
Ing. del Software
Tecnologías de la Información

Tutor

PARDO MATEO, JUAN JOSÉ

Descripción y Objetivos

El objetivo de este proyecto es desarrollar una herramienta que permita modelar agentes mediante el formalismo UIOLTS y permita la generación de un conjunto de test para verificar implementaciones de estos agentes.

Metodología y Competencias

Programacion en JAVA
Estructuras de Datos

Medios a utilizar

Ordenador PC con windows o Linux
Compilador de JAVA y entorno de programación ECLIPSE o NETBEANS

Todos los materiales estan disponibles en el departamento

Bibliografía

Asignación

El Trabajo Fin de Grado ha sido a asignado a Don/Doña Pedro Villena