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
18. Giorgio Torres, Desenvolvedor Elixir [not-audio_url] [/not-audio_url]

Duration: 1:07:20
Giorgio Torres no Twitter https://twitter.com/lu_gico LinkedIn do Giorgio https://bit.ly/3BdhfH4 Assista a esta entrevista no YouTube em https://youtu.be/8XM7j7Ojrnc. Ele conversou conosco sobre: como conheceu o Elixir e…
Participe da Code BEAM BR 2022! [not-audio_url] [/not-audio_url]

Duration: 4:24
Acesse https://www.codebeambr.com/ e inscreva-se com o cupom ELIXIREMFOCO50.
17. Ulisses Almeida, Engenheiro de Software na Duffel [not-audio_url] [/not-audio_url]

Duration: 1:07:53
Neste episódio conversamos com Ulisses Almeida, Engenheiro de Software na Duffel, Inglaterra. Você pode escutar também no YouTube https://youtu.be/2r6ZP8fL9g4. Ulisses Almeida no Twitter https://twitter.com/ulissesalmeid…
13. Surface com Marlus Saraiva [not-audio_url] [/not-audio_url]

Duration: 44:23
Este é o primeiro episódio da nossa segunda temporada. Tivemos a honra de receber o criador do Surface: Marlus Saraiva. Ele conversou conosco sobre: as motivações que o levaram a desenvolver o Surface Phoenix LiveView co…
12. Elixir em Produção, com José Valim (Dashbit) [not-audio_url] [/not-audio_url]

Duration: 1:07:44
Este é o episódio final da nossa primeira temporada. Tivemos a honra de receber o criador da linguagem Elixir, José Valim. Ele conversou conosco sobre: sua formação na USP e no Politécnico de Turim Elixir em Produção a D…
10. Elixir em Produção com Renan "Milhouse" Ranelli (Podium) [not-audio_url] [/not-audio_url]

Duration: 1:01:32
No décimo episódio da série Elixir em Produção, conversamos com Renan Ranelli, o Milhouse, da Podium. Links do Renan: Twitter do Renan Ranelli https://twitter.com/renanranelli Linkedin https://www.linkedin.com/in/renan-r…