English

 

Maximiliano Cristiá

     

Profesional

 

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

Director del Grupo de Ingeniería de Software de CIFASIS

Curriculum Vitae

   
Cursos  

Ingeniería de Software I (primer cuatrimestre)

Ingeniería de Software II (segundo cuatrimestre)

Modelos Formales de Seguridad Informática (2003)

Apuntes de clase

Vídeos

   
I+D  

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

   
Contacto  

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

   
Tope   última actualización: 04/2010
http://www.fceia.unr.edu.ar/~mcristia