• Análisis de Sistemas: lenguajes formales de especificación y diseño orientado a objetos.
• Ingeniería de Software: estilos arquitectónicos, testing y verificación formal.
• Modelos formales de Seguridad Informática: Bell-LaPadula, Flujo de Información, No-Interferencia.

© 2003 por Grupo Gidis. Todos los derechos reservados.
Sitio diseñado por Lorena Cantarini [mailto]