Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de ...
O artigo "Schema-guided Testing of Message-oriented Systems", escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores do INESC TEC, ...
A conferência ENSICO trouxe a debate a importância de introduzir o pensamento computacional no ensino obrigatório em Portugal. Este evento ...