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
28. Erlang com Vítor Andriotti (Riot Games via X-Team) [not-audio_url] [/not-audio_url]

Duration: 42:06
Neste episódio do podcast Elixir em Foco, Adolfo Neto, Herminio Torres e Zoey Pessanha entrevistaram Vítor Andriotti, Senior Software Engineer na Riot Games, para discutir a linguagem de programação Erlang. Vítor compart…
27. Elixir em Produção na Favu com Felippe José e Rodrigo Moretto [not-audio_url] [/not-audio_url]

Duration: 1:09:42
Neste episódio, a equipe do podcast Elixir em Foco entrevista Felippe José (https://www.escavador.com/sobre/4624616/felippe-antonio-jose) e Rodrigo Moretto (https://www.linkedin.com/in/rodrigo-ce-moretto-b17856249/) sobr…
26. Fly.io com João Ferreira, o Lubien [not-audio_url] [/not-audio_url]

Duration: 51:06
A equipe do podcast Elixir em Foco entrevistou João Ferreira, conhecido como Lubien, desenvolvedor que usa Elixir há muitos anos e trabalha full-time com isso há dois anos na fly.io. Lubien explicou que a fly.io é uma pl…
25. Elixir em Produção com Rodolfo Silva (CTO da Infleet) [not-audio_url] [/not-audio_url]

Duration: 39:01
Neste episódio, conversamos com Rodolfo Silva, CTO da Infleet, uma empresa de gestão de frotas. Rodolfo é Bacharel em Sistemas de Informação e Técnico em Informática. Antes da Infleet, trabalhou em diferentes empresas co…
24. Elixir Radar com Hugo Baraúna [not-audio_url] [/not-audio_url]

Duration: 1:07:58
Neste episódio conversamos com Hugo Baraúna, criador e mantenedor da newsletter Elixir Radar e cofundador da Plataformatec (a empresa onde Elixir nasceu). Escute esta entrevista no YouTube em https://youtu.be/P59Au1a4DAo…
23. Clojure com Camilo Cunha de Azevedo e Márcio Lopes de Faria [not-audio_url] [/not-audio_url]

Duration: 1:07:38
Este episódio é sobre a linguagem de programação Clojure, uma das linguagens importantes para o surgimento de Elixir. Clojure é uma linguagem de programação funcional criada por Rich Hickey em 2007 (cinco anos antes de E…
22. Projeto Spawn e comunidade eigr com Adriano Santos [not-audio_url] [/not-audio_url]

Duration: 43:16
Neste episódio conversamos com Adriano Santos, Engenheiro de Software que atua no mercado corporativo e em startups há 22 anos, tendo passado por empresas de diferentes tamanhos, e diferentes ramos de atuação e com difer…