Defesa da dissertação de mestrado da Mariana Araújo Tavares Sathler

09/09/2021 10:34

No dia 03/09/2021 a aluna Mariana Araújo Tavares Sathler defendeu sua dissertação de mestrado intitulada “Transformação de Requisitos Escritos em Português para Propriedades Lógicas Temporais” no Programa de Pós-graduação em Engenharia de Sistemas Eletrônicos (PPGESE).

A banca foi composta pelos professores Pablo Andretta Jaskowiak/UFSC e o professor Marco Aurélio Wehrmeister/UTFPR.

Tags: ctlltlMestradoportuguêsrequisitostransformaçãouppaal