Courses
The following courses are taught by GIDIS' members.
System Analysis
: formal specification languages and object oriented design.
Software Engineering
: software architecture styles, testing and formal verification
Formal Computer Security Models
: Bell-LaPadula, Information flow, and Non-Interference.
© 2003 por Grupo Gidis. Todos los derechos reservados.
Sitio diseñado por:
Lorena Cantarini