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: 74

Elixir em Foco
Podcast Episodes
From Diplomacy to OTP: Mackenzie Morgan's Path to Erlang and Elixir [not-audio_url] [/not-audio_url]

Duration: 1:05:43
In this episode of Elixir in Focus, part of the SE4FP 2025 warm-up series, host Adolfo Neto welcomes Mackenzie Morgan, a senior backend engineer at Level All. Mackenzie shares her journey into technology, which began wit…
Palestra Esquenta SE4FP: Leonardo Lucena apresenta Potigol [not-audio_url] [/not-audio_url]

Duration: 1:17:24
Este é um episódio extra do podcast Elixir em Foco.Nesta palestra, Leonardo Lucena, professor do IFRN, apresenta Potigol https://potigol.github.io/, uma linguagem moderna para aprender a programar que é multiparadigma (f…