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

Citation:
Silva JC, Campos JC, Saraiva JA.  2007.  Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. Design, Specification and Verification: Interactive Systems - DSV-IS. 4323:137-150. copy at www.tinyurl.com/y3f8xthy

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

March

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.

Citation Key:

SilvaCS:07

DOI:

10.1007/978-3-540-69554-7_11

PreviewAttachmentSize
jcsilva06.pdf529.72 KB