Horario: de 9 a 12 hs.
El Dr. Chris George es investigador principal en el Instituto Internacional d e Tecnología de Software de la Universidad de las Naciones Unidas (UNU/II ST), USA. Ha dictado numerosos cursos sobre la metodología RAISE
Resumen:
El objetivo del curso es presentar los fundamentos de la especificació n formal y desarrollo de sistemas. Para tal fin se utilizará un mé todo maduro y adecuado para el tratamiento de sistemas de gran envergadura.
RAISE (tal es el nombre de este método), incluye un lenguaje de especi ficación de amplio espectro que permite llegar a partir de especificacion es y por medio de decisiones de diseño a un nivel que se puede traducir a código. Se presentarán herramientas que ayudan en el desarrollo d e sistemas utilizando esta metodología.
Prerrequisitos:
conocimientos básicos de aspectos formales.
ESTE CURSO SERÁ DICTADO EN INGLÉS