“Z, UN METODO FORMAL PARA EL DESARROLLO DE SOFTWARE Y SU APLICACION A SISTEMAS TRANSACCIONALES”
Horario: a confirmar.
PROFESOR: Lic. Gerardo Brenner
Es Licenciado en Sistemas de la Universidad CAECE y en su carrera profesional trabajó en distintos laboratorios de IBM desarrollando aplicaciones y productos de software. Lleva 10 años de labor en el centro de desarrollo de CICS, en IBM de Inglaterra.
OBJETIVO:
El curso intentará mostrar un ejemplo concreto de la aplicación de un método formal para el desarrollo de un producto de software.
PROGRAMA:
El curso se iniciará con una breve descripción de Z como lenguaje de especificación para el desarrollo de software, a continuación de dará una introducción a la problemática de los sistemas transaccionales. El resto del curso se enfocará en las experiencias del desarrollo de CICS, un sistema transaccional multiplataforma, cuya especificación fue hecha en Z.
Este curso se dictará en español
Volver a ECI 1996