2 resultados para Semântica Formal
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
A manutençâo e evolução de sistemas interactivos, mantendo um elevado n´ıvel de usabilidade, dá origem a problemas importantes que afectam a eficiência e eficácia dos sistemas. Pelas suas caracteristicas este tipo de sistema é bastante vulnerável aquando da execução de alterações. As metodologias e técnicas actuais n˜ao abordam de forma satisfatória estes processos. Neste trabalho pretende-se combinar a programação funcional com programação estratégica, code slicing e modelos com semântica formal na tentativa de fortalecer a tese de que a aplicação destas metodologias e tecnologias no processo de engenharia reversa de sistemas interactivos permite melhorar significativamente o grau de flexibilidade e suporte à manutenção e evolução do sistema.
Resumo:
Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.