Artwork

محتوای ارائه شده توسط Elixir em Foco. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Elixir em Foco یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal
Player FM - برنامه پادکست
با برنامه Player FM !

Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira

1:45:15
 
اشتراک گذاری
 

Manage episode 501300924 series 3276616
محتوای ارائه شده توسط Elixir em Foco. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Elixir em Foco یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

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

  continue reading

65 قسمت

Artwork
iconاشتراک گذاری
 
Manage episode 501300924 series 3276616
محتوای ارائه شده توسط Elixir em Foco. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Elixir em Foco یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

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

  continue reading

65 قسمت

همه قسمت ها

×
 
Loading …

به Player FM خوش آمدید!

Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.

 

راهنمای مرجع سریع

در حین کاوش به این نمایش گوش دهید
پخش