Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira

Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira

Author: Rede Emílias de Podcasts August 20, 2025 Duration: 1:45:15

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



Há um certo brilho particular em conversas entre pessoas que compartilham uma paixão técnica, e é nesse espaço que Elixir em Foco se encontra. Produzido pela Rede Emílias de Podcasts, este programa mergulha no universo da linguagem de programação Elixir, conhecida por sua abordagem funcional e concorrente, mas sempre através das perspectivas e experiências reais de quem a utiliza no dia a dia. A cada mês, na primeira quarta-feira, um novo episódio chega trazendo vozes da comunidade brasileira de desenvolvimento de software. O que se ouve não são aulas ou monólogos, mas diálogos descontraídos e profundos sobre os desafios, as soluções elegantes, os casos de uso e o ecossistema que gira em torno do Elixir. A ideia é abrir a porta para as discussões que normalmente acontecem em corredores de conferências ou em grupos online, oferecendo insights práticos e reflexões sobre por que esta linguagem tem cativado tantos desenvolvedores. Este podcast é para quem já escreve código em Elixir e busca aprofundar seu conhecimento, mas também para curiosos que desejam entender, a partir de relatos genuínos, o que torna essa tecnologia tão especial e como ela está sendo aplicada em projetos reais no Brasil. É uma escuta que informa e, ao mesmo tempo, conecta.
Author: Language: Portuguese Episodes: 75

Elixir em Foco
Podcast Episodes
Elixir Extra com José Valim na Elixir Brasil 2021 [not-audio_url] [/not-audio_url]

Duration: 29:43
Este é um episódio extra do Elixir em Foco, o podcast da comunidade brasileira de Elixir. Fomos convidados pela Elixir Brasil para entrevistar José Valim, criador de Elixir, ao vivo, durante o evento, no espaço Elixir Ex…
8. Elixir em Produção com Willian Frantz (Trybe) e Letícia Silva [not-audio_url] [/not-audio_url]

Duration: 44:53
No oitavo episódio da série Elixir em Produção, conversamos com Willian Frantz, Alquimista de Software na Trybe e com Letícia Silva, que é DSC Lead, Cientista de dados, professora de programação e criadora de conteúdo. L…
Mesa Redonda com Pedro Castilho, Vitor Leal e Elaine Naomi Watanabe [not-audio_url] [/not-audio_url]

Duration: 1:10:55
Conversamos com as pessoas entrevistadas nos nossos três primeiros episódios. Algumas das perguntas foram: Quando você tem uma dúvida, o que você faz? Quais as iniciativas da comunidade de que vocês mais gostam? Quais bi…
6. Elixir em Produção com Jader Correa e Anderson Konzen, da Árvore [not-audio_url] [/not-audio_url]

Duration: 42:12
Neste episódio do Elixir em Foco, conversamos com Jader Correa, CTO da Árvore, e Anderson Konzen, Líder Técnico também na Árvore. Anderson Konzen https://www.linkedin.com/in/andersonkonzen/ Jader Correa https://www.linke…
Participe da SpawnFest 2021! [not-audio_url] [/not-audio_url]

Duration: 4:13
A SpawnFest é uma competição anual de desenvolvimento de software funcional online com 48 horas de duração, na qual equipes de 1 a 4 pessoas de todo o mundo podem criar a melhor aplicação baseada na BEAM que elas podem,…
Code BEAM BR 2021 [not-audio_url] [/not-audio_url]

Duration: 2:41
A segunda edição da Code BEAM BR vai acontecer nos dias 5 e 6 de agosto. A conferência é um dos principais eventos mundiais da comunidade Elixir e Erlang e vai acontecer pela segunda vez no Brasil. A edição brasileira va…