Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Detalhes bibliográficos
Autor(a) principal: Silva, J.C.
Data de Publicação: 2007
Outros Autores: Campos, J.C., Saraiva, J.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/11110/490
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.
id RCAP_6161ba1a78d9689f57d19b38c2266d88
oai_identifier_str oai:ciencipca.ipca.pt:11110/490
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive ApplicationsReverse EngineeringInteractive SystemsAbstract. 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.Lecture Notes in Computer Science, Springer-Verlag2013-12-19T14:24:25Z2007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/11110/490oai:ciencipca.ipca.pt:11110/490enghttp://hdl.handle.net/11110/490metadata only accessinfo:eu-repo/semantics/openAccessSilva, J.C.Campos, J.C.Saraiva, J.reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-05T12:52:04Zoai:ciencipca.ipca.pt:11110/490Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:00:56.138156Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
title Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
spellingShingle Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
Silva, J.C.
Reverse Engineering
Interactive Systems
title_short Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
title_full Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
title_fullStr Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
title_full_unstemmed Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
title_sort Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
author Silva, J.C.
author_facet Silva, J.C.
Campos, J.C.
Saraiva, J.
author_role author
author2 Campos, J.C.
Saraiva, J.
author2_role author
author
dc.contributor.author.fl_str_mv Silva, J.C.
Campos, J.C.
Saraiva, J.
dc.subject.por.fl_str_mv Reverse Engineering
Interactive Systems
topic Reverse Engineering
Interactive Systems
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01T00:00:00Z
2013-12-19T14:24:25Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11110/490
oai:ciencipca.ipca.pt:11110/490
url http://hdl.handle.net/11110/490
identifier_str_mv oai:ciencipca.ipca.pt:11110/490
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv http://hdl.handle.net/11110/490
dc.rights.driver.fl_str_mv metadata only access
info:eu-repo/semantics/openAccess
rights_invalid_str_mv metadata only access
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Lecture Notes in Computer Science, Springer-Verlag
publisher.none.fl_str_mv Lecture Notes in Computer Science, Springer-Verlag
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799129878938779648

Registros relacionados