O Presidente do Departamento de Informática da Universidade Massachusetts Lowell, Haim Levkowitz, visitou o INESC TEC e a Escola de Engenharia da Universidade do Minho, nos dias 20, 23 e 25 de maio, respetivamente, ao abrigo do Staff Mobility for Teaching do programa Erasmus+. Esta visita teve como objetivo partilhar […]
Monthly Archives: Maio 2022
13 posts
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 […]
O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores da Escola de Engenharia e do INESC TEC, e André Santos, engenheiro do CoLAB VORTEX, foi o vencedor do prémio Best Paper Award na 17ª edição da conferência internacional ENASE – Conference on […]