2 papers
cs.FL2019
Visualização e animação de autómatos em Ocsigen Framework
Rita Macedo, Artur Miguel Dias, António Ravara
Formal Languages and Automata Theory are important foundational topics in Computer Science. Their rigorous and formal characteristics make their learning them demanding. An importa…
cs.SE2018
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
Patrícia Monteiro, João Lourenço, António Ravara
--- Portuguese version As falhas de software estão com frequência associadas a acidentes com graves consequências económicas e/ou humanas, pelo que se torna imperioso investir na v…