Maximiliano Cristiá

Profesional

Jefe de Cátedra (Profesor Asociado)
LCC - FCEIA - UNR

Director del Grupo de Ingeniería de Software de CIFASIS

Curriculum Vitae

Ingeniería de Software I (primer cuatrimestre)

Ingeniería de Software II (segundo cuatrimestre)

Apuntes de clase

• Introducción a la Ingeniería de Requerimientos
• Apunte de clase para Seguridad Informática

Vídeos

Intereses en I+D: métodos formales, arquitectura y diseño de software, testing basado en especificaciones formales, seguridad multi-nivel, desarrollo de herramientas para asistir y semi-automatizar el desarrollo de sistemas de software.

Herramientas

• {log} (setlog). Lenguaje de programación basado en teoría de conjuntos y satisfiability solver para la teoría de conjuntos.
• Fastest 1.7. Testing basado en modelos para especificaciones Z. Requiere tener instalado SWI-Prolog y Java (también puede funcionar con otras versiones de Prolog). En ambientes MS Windows el ejecutable swipl.exe tiene que ser renombrado a prolog.exe.
• Flowx. Una versión de Linux con seguridad multi-nivel que implementa un modelo de nointerferencia. Proyecto co-financiado por FONTAR.
• Repose. Generación de prototipos funcionales utilizando solo software de oficina.
• StateSim. Simulador gráfico de modelos Statecharts.

Publicaciones

Universidad Nacional de Rosario
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Departamento de Ciencias de la Computación
Pellegrini 250
(2000) Rosario
Argentina

+54 341 3631682

cristia -AT- cifasis-conicet.gov.ar