María Marta Novaira

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Renzo Degiovanni, Gastón Scilingo, María Marta Novaira, 2014, LAFM.

An introductory course on programming based on formal specification and program calculation

Nazareno Aguirre, Javier Blanco, Gastón Scilingo, 2009, SGCS.

Analyzing formal requirements specifications using an off-the-shelf model checker

Nazareno Aguirre, Renzo Degiovanni, Gastón Scilingo, 2013, 2013 XXXIX Latin American Computing Conference (CLEI).

Utilización de técnicas de análisis automático para la asistencia en entornos de introducción a la programación

María Marta Novaira, Nazareno Aguirre, Sonia Permigiani, 2017 .

Un modelo genérico para el modelo de negocio

María Marta Novaira, G. Baum, Paola Martellotto, 2004 .

Propuesta de un modelo genérico para el modelo de negocio

María Marta Novaira, G. Baum, Paola Martellotto, 2004 .