INVESTIGADORES
FRIAS Marcelo Fabian
datos académicos
Título/s
DR. EN CS. DE LA COMPUTACION
LIC. EN COMPUTACION
Categoría
INV PRINCIPAL
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-SISTEM. D/INFORMAC. PROGRAMAS E
Especialidad
Metodos relacionales aplicados a la ingenieria de software
Tema
Métodos relacionales aplicados al análisis automático de software
Tema en inglés
Relational methods and their application in program auomated analysis.
Palabras clave
Algebra relacional // Análisis Estático // Validación y Verificación
Palabras clave en inglés
Relation Algebras // Static Analysis // Validation and Verification
Lugar de trabajo
ESCUELA DE INGENIERIA -
[ITBA] INSTITUTO TECNOLOGICO DE BUENOS AIRES -


Director de :


BECARIOS


Co director de :


CARRERA INVESTIGADOR

rds']