Silva, João CarlosCampos, José CreissacSaraiva, JoãoChambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, José2021-11-032021-11-032021978-3-03868-167-0https://doi.org/10.2312/pt.20061533https://diglib.eg.org:443/handle/10.2312/pt20061533A manutenção e evolução de sistemas interactivos dá origem a problemas importantes que afectam a sua eficiência e eficácia. Neste trabalho pretende-se combinar programação funcional, programação estratégica, code slicing e modelos com semˆantica formal na tentativa de fortalecer a tese de que a aplicação destas metodologias e tecnologias, em conjunção com um processo de engenharia reversa de código fonte, permite melhorar significativamente o suporte á manutenção de sistemas interactivos.InterfaceProgramação FuncionalCode SlicingProgramação EstratégicaModelosHaskellJava/Swing10.2312/pt.2006153365-72