Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6616
Título: | Combining formal methods and functional strategies regarding the reverse engineering of interactive applications |
Autor(es): | Silva, João Carlos Campos, J. Creissac Saraiva, João Alexandre |
Palavras-chave: | Programming and software engineering |
Data: | 2007 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/6616 |
ISBN: | 9783540695530 |
ISSN: | 0302-9743 |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
jcsilva06.pdf | Documento principal | 529,72 kB | Adobe PDF | Ver/Abrir |