English

 

Maximiliano Cristiá

     

Profesional

 

Profesor Titular
LCC - FCEIA - UNR

Investigador en CIFASIS

Curriculum Vitae

   
Cursos  

Ingeniería de Software I (primer cuatrimestre)

Ingeniería de Software II (segundo cuatrimestre)

Seminario de Práctica Profesional (pasantía)

Seguridad Informática

Apuntes de clase

Vídeos

   
I+D  

Intereses en I+D: verificación formal, métodos formales, arquitectura y diseño de software, testing basado en especificaciones formales, resolución de restricciones conjuntistas, 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

cristia -AT- cifasis-conicet.gov.ar

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