41: Lean e Verificação de Software, com Leonardo de Moura (AWS)
1:28:18
Raciocínio Automatizado com Leonardo de Moura
1:11:03
40: Versionamento de Software, com Leonardo Murta (UFF)
1:31:09
A Próxima Fronteira: Reflexões de 2024 na Engenharia de Software
1:28:43
Ontologias em Engenharia de Software, com Giancarlo Guizzardi (University of Twente)
49:28
Jornada 363 – Tom Pastel
1:09:08
A linguagem de programação Lua (e seu impacto na Engenharia de Software), Roberto Ierusalimschy
1:17:59
48: Educação em Engenharia de Software, com Davi Viana (UFMA)
13:15