Neste episódio do podcast Fronteiras da Engenharia de Software, os pesquisadores Fabio Kon, Paulo Meirelles e Leonardo Alexandre Ferreira Leite, autores do livro "Como se Faz Devops," discutem a transformação de uma pesquisa de doutorado em uma obra de divulgação científica. Eles conversaram conosco sobre a importância de levar o conhecimento acadêmico para a indústria de software brasileira, destacaram os desafios e as oportunidades na área de Engenharia de Software, e exploraram a fronteira da inteligência artificial na geração automática de código. Os autores também refletiram sobre o papel do software livre e compartilharam suas expectativas para o futuro da Engenharia de Software. A conversa proporciona uma visão sobre a pesquisa e prática na nossa área, além de perspectivas sobre o processo de escrita do livro e seu impacto na comunidade.

Como se faz DevOps

Organizando pessoas, dos silos aos times de plataforma

Leonardo Leite, Paulo Meirelles, Fabio Kon

https://bit.ly/LivroDevOps

Link para escutar como podcast https://podcasters.spotify.com/pod/show/fronteirases/episodes/44-Como-se-faz-DevOps--com-Leonardo-Leite--Paulo-Meirelles-e-Fabio-Kon-e2h85gp

Link para assistir no YouTube https://www.youtube.com/watch?v=M4BmrNwvBZA

Entrevistados:

• Leonardo Leite https://www.ime.usp.br/~leofl/

• Paulo Meirelles https://www.ime.usp.br/paulormm/

• Fabio Kon https://www.ime.usp.br/~kon

Artigos:

"A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations"

Advisors: Prof. Paulo Meirelles and Prof. Fabio Kon.

http://www.ime.usp.br/~leofl/devops

“Uma teoria fundamentada sobre estruturas organizacionais para profissionais de desenvolvimento e de infraestrutura em organizações produtoras de software “

https://www.teses.usp.br/teses/disponiveis/45/45134/tde-28062022-132626/pt-br.php

A Survey of DevOps Concepts and Challenges

Leonardo Leite, Carla Rocha, Fabio Kon, Dejan Milojicic, Paulo Meirelles

ACM Computing Surveys, Vol. 52, No. 6, 2019.

https://dl.acm.org/doi/10.1145/3359981?cid=81413601887

Todas as publicações https://www.ime.usp.br/~leofl/devops/publications/

Mais links:

Programa de Pós-graduação em Ciência da Computação do IME-USP https://www.ime.usp.br/pos-computacao/

AgilCoop http://valinhos.ime.usp.br:55080/agilcoop/node/111

Infelizmente os arquivos do AgilCast parecem ter sido perdidos https://archive.is/LPDk4

Inteligência Artificial na Administração Pública Brasileira

Aline Macohin

https://www.amazon.com.br/Intelig%C3%AAncia-Artificial-Administra%C3%A7%C3%A3o-P%C3%BAblica-Brasileira/dp/8551927175

Mais informações em ⁠⁠https://fronteirases.github.io/episodios/paginas/44

Entrevistadores: Adolfo Neto (PPGCA UTFPR) ⁠⁠⁠⁠https://adolfont.github.io⁠ e Maria Claudia Emer

Nosso site é: ⁠⁠https://fronteirases.github.io⁠

Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr. Link:⁠ ⁠⁠⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s⁠

Esta é a gravação de uma palestra apresentada no canal do Fronteiras da Engenharia de Software.

Se você preferir assistir no YouTube, o link é https://youtu.be/2RBb37dVtzU

Título do artigo:

Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells

Preprint ⁠https://arxiv.org/abs/2308.01386⁠

Perfil Elvys Soares na ACM ⁠https://dl.acm.org/profile/81435599693⁠

Lattes de Elvys Soares ⁠http://lattes.cnpq.br/6415531537733982⁠

Entrevistador: Adolfo Neto (PPGCA UTFPR) ⁠⁠⁠https://adolfont.github.io

Nosso site é: ⁠https://fronteirases.github.io

Opening Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link:⁠ ⁠⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s

Neste episódio do podcast "Fronteiras da Engenharia de Software", a professora Thais Batista, da UFRN, compartilha informações sobre Engenharia de Software para Cidades Inteligentes. Ela aborda sua trajetória na Sociedade Brasileira de Computação (SBC), destacando seu papel como atual presidente e a importância da SBC na interação entre academia, sociedade e indústria. Também fala de seu papel no projeto da linguagem Lua. A professora também discute desafios enfrentados por mulheres na área, ressaltando a necessidade de igualdade e encorajamento. Além disso, Thais explora as possíveis futuras fronteiras da engenharia de software, incluindo o desenvolvimento sustentável de software, segurança cibernética e a influência da inteligência artificial.

Link para escutar como podcast https://podcasters.spotify.com/pod/show/fronteirases/episodes/43-Engenharia-de-Software-para-Cidades-Inteligentes--com-Thais-Batista-UFRN-e2g065n

Link para assistir no YouTube https://youtu.be/0RusJrjy8kM

Página de Thais Batista https://dimap.ufrn.br/~thais/ 

Página do programa em que Thais atua: PPgSC/UFRN - PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO  https://posgraduacao.ufrn.br/ppgsc 

Artigos:

Towards a Multi-Tenant Microservice Architecture: An Industrial Experience

"Rumo a uma Arquitetura de Microsserviços Multi-Inquilino: Uma Experiência Industrial"

https://ieeexplore.ieee.org/abstract/document/9842651 

A platform for integrating heterogeneous data and developing smart city applications

"Uma Plataforma para Integrar Dados Heterogêneos e Desenvolver Aplicações para Cidades Inteligentes"

https://www.sciencedirect.com/science/article/pii/S0167739X2100426X 

On a Metaprocess for Microservice Migration 

"Sobre um Metaprocesso para Migração de Microsserviços”

https://dl.acm.org/doi/10.1145/3613372.3613382 

Livros:

Software Architecture in Action: Designing and Executing Architectural Models with Sysadl Grounded on the Omg Sysml Standard https://www.amazon.com.br/Software-Architecture-Action-Designing-Architectural/dp/3319443372/

Resource Management for Internet of Things https://www.amazon.com.br/Resource-Management-Internet-SpringerBriefs-Computer-ebook/dp/B06XYCSTJB/

Middleware Solutions for the Internet of Things https://www.amazon.com.br/Middleware-Solutions-Internet-SpringerBriefs-Computer-ebook/dp/B00FCN0JDS/ 

Vídeos:

Desafios para Desenvolvimento de Aplicações para Cidades Inteligentes - Thais Vasconcelos Batista

https://www.youtube.com/watch?v=Onx6iioLGiI 

Workshop Lua 30 Anos https://www.youtube.com/playlist?list=PLRKeuVfLlY-4OZKpfochBktBuqgz123YH

Pesquisadores homenageados CEES https://comissoes.sbc.org.br/ce-es/homenageados.php?lang=pt-br 

Mais informações em ⁠https://fronteirases.github.io/episodios/paginas/43 

Entrevistador: Adolfo Neto (PPGCA UTFPR) ⁠⁠⁠https://adolfont.github.io 

Nosso site é: ⁠https://fronteirases.github.io 

Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link:⁠ ⁠⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s

Página da professora Itana: http://www.din.uem.br/pessoas/docentes/itana-gimenes Episódio original do Emílias Podcast - Mulheres na Computação https://open.spotify.com/episode/2j9W9DhFIJWiYVK7mIkD5t

Assista no YouTube em https://youtu.be/wC9jP57vrnk

Nosso site é:⁠ ⁠https://fronteirases.github.io

Neste episódio do Fronteiras da Engenharia de Software, Adolfo Neto entrevista o pesquisador Leonardo de Moura, Senior Principal Applied Scientist no Grupo de Raciocínio Automatizado na AWS e Chief Architect da Lean FRO. Leonardo é reconhecido por diversas contribuições, entre elas o desenvolvimento do Z3, um SMT Solver, e da Lean, que é ao mesmo tempo uma linguagem de programação funcional e um provador de teoremas.

A entrevista é dividida em partes, começando com a apresentação de Leonardo e de sua trajetória desde o doutorado na PUC-Rio até sua posição atual na AWS. Em seguida, Leonardo  explora os conceitos fundamentais sobre verificação de software e como provadores de teoremas, como o Z3, são aplicados nesse contexto.

A terceira parte destaca a evolução do Lean, inicialmente uma ferramenta para matemáticos, para se tornar uma linguagem de programação funcional (Lean 4). Leonardo compartilha insights sobre o sucesso do Lean, sua comunidade ativa e as possibilidades que a linguagem oferece para desenvolvimento e verificação de software.

Dentro do enfoque em Lean, são abordados temas como a mudança para ser uma linguagem de programação funcional, a base em teoria dos tipos dependentes e as potenciais aplicações em pesquisa e desenvolvimento de software. Perguntas do Twitter sobre o uso do Lean fora do meio acadêmico e a Teoria da Homotopia são discutidas, assim como as perspectivas de pesquisa com o Lean 4.

A quarta parte explora temas diversos, como a participação de Lean na Rinha de Backend, onde uma implementação em Lean se destacou, e a criação da Lean FRO, uma organização focada em pesquisa do Lean. Também são discutidos os avanços em IA e como o Lean pode se beneficiar dessas tecnologias.

Na parte final, Adolfo pergunta a Leonardo sobre a próxima fronteira da engenharia de software, proporcionando uma visão do que pode vir a moldar o futuro da área. O episódio encerra com agradecimentos aos ouvintes e a promessa de retornar com mais discussões no próximo episódio do Fronteiras da Engenharia de Software.

Sobre Leonardo de Moura:

• Página https://leodemoura.github.io/ 

• Escavador https://www.escavador.com/sobre/7442280/leonardo-mendonca-de-moura 

• Scholar https://scholar.google.com/citations?user=CwazDKgAAAAJ&hl=pt-BR&oi=ao

• DBLP https://dblp.org/pid/d/LeonardoMdeMoura.html 

• Linkedin https://www.linkedin.com/in/leonardo-de-moura-26a27b5/ 

• GitHub https://github.com/leodemoura 

Mais links em https://fronteirases.github.io/episodios/paginas/41 

Entrevistador: Adolfo Neto (PPGCA UTFPR) ⁠⁠https://adolfont.github.io/

Nosso site é: https://fronteirases.github.io/⁠⁠⁠⁠

Opening Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link: ⁠⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s⁠⁠

Neste episódio do Fronteiras da Engenharia de Software, Adolfo Neto e Maria Claudia Emer entrevistam Pablo Antonino, Gerente do Departamento de Engenharia Virtual do Fraunhofer IESE na Alemanha. Pablo, doutor em Ciência da Computação pela Universidade de Kaiserslautern, compartilha sua expertise em design, avaliação e integração de sistemas embarcados confiáveis em diversos domínios.

• O que são Arquiteturas de Referência na Engenharia de Software?

• O que envolve a área de Engenharia Contínua? Quais são as práticas e dimensões essenciais nesse contexto?

• Quais foram os principais resultados da pesquisa sobre Arquiteturas de Referência da Indústria 4.0 publicada em 2021?

• Como o livro "Arquiteturas de Referência para Domínios Críticos" aborda o uso atual dessas arquiteturas e a percepção de profissionais no mercado sobre necessidades futuras?

• O que são Gêmeos Digitais e Simulações, e por que os clientes do Fraunhofer IESE têm mostrado forte interesse nessas áreas?

• Quais são os desafios que as empresas enfrentam ao procurar especialistas em Gêmeos Digitais e Simulações para apoiar projetos?

• Como foi o início da sua carreira no Fraunhofer IESE após concluir o mestrado em 2009?

• Como o Fraunhofer IESE conduz pesquisas, especialmente em colaboração entre indústria e academia?

• Qual é a próxima fronteira da engenharia de software, na sua visão?

Links:

• Página de Pablo https://about.me/pabloantonino  

• Fraunhofer IESE http://www.iese.fraunhofer.de 

• Página de Pablo no Fraunhofer IESE https://www.iese.fraunhofer.de/blog/author/pablo-antonino/  

• Perfil no IEEE Xplore https://ieeexplore.ieee.org/author/37593471700   

• Publicações

• https://scholar.google.com/citations?hl=pt-BR&user=wXFLmWwAAAAJ&view_op=list_works&sortby=pubdate  

• Lirvo “Reference Architectures for Critical Domains: Industrial Uses and Impacts”, com https://amzn.to/48mHb0y, com Elisa Yumi Nakagawa 

• Artigo “Industry 4.0 reference architectures: State of the art and future trends” https://doi.org/10.1016/j.cie.2021.107241  

• Emílias Podcast 94: Pesquisa na Indústria, com Adeline Silva Schäffer (Fraunhofer IESE) https://youtu.be/jwhw6D9H2Io   

• Nosso episódio com Rodrigo Santos https://podcasters.spotify.com/pod/show/fronteirases/episodes/30-Ecossistemas-de-software-na-indstria--com-Rodrigo-Santos-UNIRIO-e1rt7rb 

• Flavio Oquendo https://people.irisa.fr/Flavio.Oquendo/

Mais links em ⁠https://fronteirases.github.io/episodios/paginas/42 

Entrevistadores: Adolfo Neto (PPGCA UTFPR) ⁠⁠⁠https://adolfont.github.io/⁠ e  Maria Claudia Emer

Song: Extreme Energy (Music Today 80). Composed & Produced by: Anwar Amr Video. Link:⁠ ⁠⁠https://www.youtube.com/watch?v=8ZZbAkKNx7s⁠⁠

Nosso site é: ⁠⁠https://fronteirases.github.io/⁠⁠⁠⁠⁠.