Introdução À Linguagem De Especificação Quint | Esquenta SE4FP 2025 Com Gabriela Moreira Elixir Em Foco podcast

Inhalt bereitgestellt von Elixir em Foco. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Elixir em Foco oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

Elixir em Foco »
Introdução à Linguagem de Especificação Quint | Esquenta SE4FP 2025 com Gabriela Moreira

13d ago 1:45:15

MP3•Episode-Home

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint.

O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025,

Além de explorar as bases do Quint, Gabriela compartilha exemplos práticos e referências de estudo.

Links citados no episódio:

LinkedIn de Gabriela Moreira – Gabriela Moreira - Research Engineer at Informal Systems https://www.linkedin.com/in/bugarela/

GitHub de Gabriela Moreira – https://github.com/bugarela

Página de Quint https://quint-lang.org/

GitHub de Quint https://github.com/informalsystems/quint

Slides da palestra – https://bit.ly/3HnRqtM

SE4FP 2025 – https://se4fp.github.io/2025/

CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/

PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct

Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/

Episódio “21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems” no YouTube – https://youtu.be/_vI8xFxn60A

Capítulos

00:00 Introdução

05:15 Início da Apresentação

1:00:54 Perguntas e Respostas

64 Episoden

#Tecnologia #Elixir Em Foco