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 em Produção na Trio Pagamentos, com David Alencar [not-audio_url] [/not-audio_url]

Duration: 45:30
Neste episódio do *Elixir em Foco*, Adolfo Neto e Zoey Pessanha conversaram com David Alencar, Staff Software Engineer na Trio Pagamentos. Com mais de 15 anos de experiência em tecnologia, incluindo uma passagem pela Mic…
Elixir em Produção na Remote, com Lívia Almeida Barbosa [not-audio_url] [/not-audio_url]

Duration: 57:22
Neste episódio do podcast Elixir em Foco, Adolfo Neto, Cristine Guadelupe, Herminio Torres e Zoey Pessanha recebem Lívia Almeida Barbosa, Senior Backend Engineer na Remote, para uma conversa sobre o uso de Elixir na Remo…
Paulo Valente 2 - A Missão: IA e Machine Learning em Elixir com Nx [not-audio_url] [/not-audio_url]

Duration: 1:02:44
Neste episódio, conversamos com Paulo Valente, Engenheiro de Software na DockYard, e um dos mantenedores do ecossistema Nx. Paulo também é músico e projetista de circuitos por hobby. Links: Documento sobre o Ecossistema…
GambiConf 2024 [not-audio_url] [/not-audio_url]

Duration: 4:55
Estão abertas as submissões de palestras e workshops para a GambiConf 2024! A GambiConf é uma conferência única e multilingue que não se limita a uma única tecnologia. Este evento foca no propósito dos projetos apresenta…
38. Elixir em Produção na Minha Biblioteca, com Thiago Leite Luiz [not-audio_url] [/not-audio_url]

Duration: 35:34
Neste episódio do podcast Elixir em Foco, entrevistamos Thiago Leite Luiz, Head de Tecnologia e Inovação na Minha Biblioteca. Thiago descreve como Elixir é usado em produção naquele que é o maior streaming de livros atua…