با برنامه Player FM !
Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira
Manage episode 501300924 series 3276616
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
65 قسمت
Manage episode 501300924 series 3276616
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
65 قسمت
همه قسمت ها
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.