Especialidades

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

Tutor

PARDO MATEO, JUAN JOSÉ

Descripción y Objetivos

Se pretende desarrollar un modulo para la herramienta de verificación de agentes de comercio electronico que permita la ejecución simbolica de las especificaciones introducidas

Metodología y Competencias

Programación en java
Programación entornos graficos en Java

Medios a utilizar

Compilador java y entorno de programación netbeans.

Bibliografía

Asignación

Pendiente de asignar