1 resultado para Semántica oracional
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.