Banca de QUALIFICAÇÃO: Bruno Matissek Worm

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : Bruno Matissek Worm
DATA : 23/02/2023
HORA: 09:00
LOCAL: Skype (https://join.skype.com/dFDkl2dOWgQB)
TÍTULO:

Automatic and verified lifting method for embedding evolution and variability awareness into functional programs

PALAVRAS-CHAVES:

Variabilidade, Evolução, Transformação Automática, Programas Funcionais

PÁGINAS: 30
RESUMO:

A necessidade de lidar com a variabilidade durante a análise das Linhas de Produtos de Software (LPS) é freqüente, pois o número de combinações possíveis de produtos válidos pode ser exponencial em relação
ao número de características. Além disso, à medida que uma LPS evolui, os resultados da análise anterior poderiam ser usados para otimizar os cálculos. O objetivo desta pesquisa é propor um método verificado para
transformar automaticamente uma análise de um programa funcional, tornando-o sensível tanto à evolução como à variabilidade.

MEMBROS DA BANCA:
Interna - 1720223 - GENAINA NUNES RODRIGUES
Interno - 1848788 - RODRIGO BONIFACIO DE ALMEIDA
Presidente - 1702036 - VANDER RAMOS ALVES