Ingeniería del Software

Los objetivos básicos de esta línea de investigación es la aplicación de técnicas de descripción formal para el desarrollo de sistemas de telecomunicación en el entorno industrial.

Proyectos

• Desarrollo de un sistema de creación de servicios en el entorno CPSA usando SDL-SDT.
• Desarrollo del Servicio de Aviso y Despertador.
• OTELSO (Object-oriented technology for TELecommunication Software Eureka).
• MEDAS (Metodología de Especificación y Diseño Avanzado de Sistemas de Comunicación)