Descripción: U. Jaume I. Dpt. de Llenguatges i Sistemes Informàtics Desarrollo y promoción de Software Libre. Técnicas de gestión de proyectos software. Su aprovechamiento para el desarrollo cooperativo de software libre. Verificación formal de programas. Concurrencia y tiempo real. Técnicas y aplicación de software libre para la enseñanza a distancia: "e-learning".
Palabras clave: Sistemas en tiempo real,informática,enseñanza con ayuda del ordenador,teoría de la programación