Os investigadores Alcino Cunha (Haslab-EEUM) e Nuno Macedo (INESC TEC) contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de uma das plataformas de especificação e análise mais utilizadas para a análise formal de designs nas fases iniciais do desenvolvimento de software. Esta nova versão da linguagem apresenta […]