Palestrantes

Dra. Lisandra Manzoni Fontoura

Título: Processos de Software em Parcerias Acadêmicas: Desafios e Lições Aprendidas

Data: 11/Nov/2024 (Segunda-Feira)
Hora: 19:00

Resumo: Projetos de inovação tecnológica desenvolvidos por universidades em parceria com empresas e/ou o governo exigem a adoção de processos de software que consigam equilibrar as particularidades de cada instituição envolvida. Embora no ambiente acadêmico exista a preferência de metodologias dinâmicas e ágeis, muitas vezes os contratos impõem a necessidade de processos mais estruturados e planejados. Nesta palestra, discutiremos os desafios enfrentados no desenvolvimento de um simulador em um projeto entre a UFSM e parceiros externos. Serão abordadas as principais lições aprendidas e práticas aplicadas para adaptar os processos de software ao contexto acadêmico.

Bio: Doutora em Ciência da Computação e mestre em Computação, ambos pela Universidade Federal do Rio Grande do Sul; graduação em Informática pela Universidade Federal de Santa Maria (1997). Atua como professora e pesquisadora na Universidade Federal de Santa Maria e como professor permanente do Programa de Pós-Graduação em Ciência da Computação. Trabalhou como analista de sistemas e como membro do Grupo de Qualidade de Software no Serviço Federal de Processamento de Dados. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, principalmente nos seguintes temas: Processos de Software, Gerência de Projetos, Segurança da Informação e Qualidade de Software. Atuou como coordenadora geral do projeto Sistema Integrado de Simulação ASTROS (SIS-ASTROS) e atua como coordenadora técnica do projeto Sistema Integrado de Simulação ASTROS – Grupo de Mísseis e Foguetes (SIS-ASTROS GMF), ambos desenvolvidos em parceria da UFSM com o Exército Brasileiro.

Dr. Leopoldo Motta Teixeira

Título: De Produtos a Linhas de Produtos: Um Panorama de Teorias Formais para Análise e Evolução de Linhas de Produtos

Data: 11/Nov/2024 (Segunda-Feira)
Hora: 20:30

Resumo: Linhas de produtos de software (SPLs) geralmente são construídas a partir de diferentes artefatos, como modelos de variabilidade e configuração, além do código para a implementação de funcionalidades. Isso gera desafios para as técnicas de análise, já que muitas configurações podem ser derivadas de uma SPL. Além disso, essas linhas de produtos também evoluem ao longo do tempo, o que pode trazer desafios adicionais para as técnicas de análise. Em trabalhos anteriores, estabelecemos teorias de refinamento de linhas de produtos de software, que ampliam as noções de refinamento de produtos individuais para linhas de produtos como um todo, formando a base para a noção de evolução segura e parcialmente segura de SPLs. A evolução segura considera cenários de evolução que preservam o comportamento de todo o conjunto de produtos da SPL. No entanto, muitos cenários não se adequam a essa definição, como remoções de funcionalidades e correções de bugs. Por isso, desenvolvemos uma extensão dessa teoria, que introduz a noção de evolução parcialmente segura de SPLs, onde apenas um subconjunto dos produtos existentes tem seu comportamento preservado. Vamos apresentar os principais aspectos da teoria e, em seguida, ilustrar uma de suas aplicações: o uso de templates para apoiar a evolução de SPLs. Além disso, também apresentaremos resultados recentes relacionados a um framework formal para análise de linhas de produtos, formalização de linguagens para descrever variabilidade, e um procedimento para demonstrar a observabilidade de interações entre funcionalidades.

Bio: Leopoldo é professor adjunto no Centro de Informática (CIn) da Universidade Federal de Pernambuco, onde lidera o grupo de Pesquisa em Teste e Análise de Software, e também é afiliado ao Software Productivity Group e ao CIn-Trust. Desde maio de 2023, é coordenador da pós-graduação do departamento.

Em 2022, foi bolsista CAPES-Alexander von Humboldt para pesquisadores experientes na Cátedra de Engenharia de Software da Universität des Saarlandes, onde trabalhou com Sven Apel no tópico de análise de variabilidade ao longo das dimensões de tempo e espaço.

Seus interesses de pesquisa envolvem Engenharia de Software, com foco em fornecer bases sólidas para a melhoria da qualidade e produtividade de software. Em particular, tem trabalhado nos seguintes temas e sua integração: linhas de produtos de software e sistemas configuráveis, refatoração, métodos formais, testes de software e desenvolvimento móvel.

Leopoldo obteve o doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (CIn-UFPE) em 2014, sob a orientação de Paulo Borba e Rohit Gheyi. Durante o doutorado, passou um período na Universidade de Waterloo, trabalhando com Krzysztof Czarnecki. Seu mestrado em Ciência da Computação também foi obtido no CIn-UFPE (2010), e antes disso, graduou-se em Engenharia da Computação pela Escola Politécnica de Pernambuco (2007).

Dr. Marco Tulio Valente

Título: O que eu preciso para ser um excelente Engenheiro de Software?

Data: 12/Nov/2024 (Terça-Feira)
Hora: 19:00

Resumo: Atualmente, toda empresa está se transformando em uma empresa de software. Então, não é surpresa que Engenheiros de Software estejam no topo das profissões mais demandadas do mercado. Nesta palestra, vamos discorrer sobre as diferentes habilidades que são exigidas de um Engenheiro de Software, bem como comentar sobre as principais técnicas usadas no dia a dia da profissão.

Bio: Marco Tulio Valente é doutor em Ciência da Computação (2002) pela Universidade Federal de Minas Gerais, onde atualmente é Professor Associado do Departamento de Ciência da Computação. Em 2020, publicou o livro "Engenharia de Software Moderna: Princípios e Práticas para Desenvolvimento de Software com Produtividade", que está se transformando na obra de referência para ensino de Engenharia de Software no Brasil, sendo usado por mais de 400 professores. Em 2024, o livro ganhou uma versão em inglês.

Jonathan Emir Silva Martins

Título: Como buscamos ser o laboratório referência em tecnologia e inovação por meio de práticas ágeis

Data: 12/Nov/2024 (Terça-Feira)
Hora: 20:30

Resumo: A palestra irá abordar a trajetória do Laboratório Bridge na implementação e evolução de metodologias ágeis, com o objetivo de se tornar um centro de excelência em tecnologia e inovação. A apresentação será dividida em três tópicos principais: introdução à empresa, explicação sobre o conceito de agilidade e sua importância na cultura organizacional e apresentação da b_agile, nossa ferramenta desenvolvida para medir a maturidade das equipes ágeis.

Bio: Jonathan Emir Silva Martins, 32 anos, nascido em Guaíba e atualmente residente em Cachoeirinha, encontrou na agilidade a verdadeira inovação e como as empresas podem gerar resultados verdadeiros. Com formação em Análise e Desenvolvimento de Sistemas, sua jornada profissional começou como desenvolvedor backend, passando para analista de testes (QA), e posteriormente como analista de projetos impulsionando a inovação nos processos de BackOffice.

A experiência em equipes ágeis despertou sua curiosidade e admiração pela agilidade, motivando-o a buscar certificações e aprofundar-se nessa área. Neste seguimento, atuou como Scrum Master e Agile Master, assim acumulando um vasto conhecimento prático no processo de desenvolvimento de software.

Atualmente, Jonathan é Agilista no Bridge, apoiando a transformação ágil da organização e sendo responsável por três equipes em dois projetos estratégicos: o Prontuário do Cidadão Eletrônico (PEC) e o Cadastro Base de Programas Educacionais (CBPE).

Dr. Paulo Borba

Título: O fim da programação, de novo!

Data: 13/Nov/2024 (Quarta-Feira)
Hora: 19:00

Resumo: O fim da programação já foi anunciado várias vezes. Dessa vez, o fim é sugerido pelo surgimento dos LLMs (Large Language Models) e de suas variações para código, disponibilizados através de ferramentas como ChatGPT e GitHub Copilot, que mostram significativa capacidade de gerar código a partir de descrições em linguagem natural. Nesta palestra, vamos apresentar a ideia geral dessas ferramentas, comparar com abordagens anteriores para geração de código, discutir como as mesmas podem ser usadas, e se o fim da programação está de fato próximo.

Bio: Paulo Borba é Professor Titular de Engenharia de Software do Centro de Informática da Universidade Federal de Pernambuco, onde lidera o Grupo de Produtividade de Software. Ele pesquisa e desenvolve ferramentas e técnicas para melhorar os níveis de qualidade e produtividade em software, especialmente através da redução de frustrações e esforços desnecessários nas atividades realizadas por desenvolvedores de software. Ele busca a mistura entre excelência em pesquisa e relevância industrial. Seus principais interesses de pesquisa são nos seguintes temas e na integração entre eles: conflitos e ferramentas de integração de código, integração e implantação contínuas, modularidade de software, linhas de produtos de software, e refatoração.

Paulo é Doutor em Computação pela Universidade de Oxford, e Mestre e Bacharel em Ciência da Computação pela Universidade Federal de Pernambuco. Ele foi sócio-fundador da Qualiti Software Processes.

Dr. Elvys Soares

Título: Testes têm cheiro, e não é bom!

Data: 13/Nov/2024 (Quarta-Feira)
Hora: 20:30

Resumo: Test smells são indicações de possíveis problemas de escrita, projeto ou implementação de testes. Eles podem representar dificuldades na compreensão, reprodução, manutenção, confiabilidade e até mesmo na capacidade que um teste deveria ter de identificar defeitos de software. Nesta palestra, mergulharemos no mundo dos testes que poderiam ter sido melhor implementados! Falaremos sobre pesquisas recentes na área, sobre como novas tecnologias têm ajudado a ampliar o conhecimento sobre test smells e também do que está por vir.

Bio: Elvys é professor no Instituto Federal de Alagoas desde 2009. Trabalha com testes de software há 20 anos. É testador certificado pela British Computer Society (BCS/ISQTB) e já trabalhou por aí em projetos como o Brazil Test Center (CIN-UFPE/Motorola) e na Urna Eletrônica (CIn-UFPE/TSE). Recentemente, terminou o doutorado no CIn-UFPE, onde decidiu variar radicalmente sua atuação e pesquisar testes de software (rsrs), em especial os test smells. Ele descreve sua pesquisa como "de caráter prático", tendo sido publicada e premiada em eventos e periódicos nacionais e internacionais na área.