Combining formal methods and functional strategies regarding the reverse engineering of interactive applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4323 LNCS, Issue , 2007, Pages 137-150

  Silva, J C ^a,b   Campos, José Creissac ^a   Saraiva, João ^a  

^a UNIVERSITY OF MINHO   (Portugal)

^b Instituto Politcnico do Cvado e do Ave   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; INTERACTIVE COMPUTER SYSTEMS; LEGACY SYSTEMS; REVERSE ENGINEERING;

FUNCTIONAL STRATEGIES; INTERACTIVE APPLICATIONS;

STRATEGIC PLANNING;

EID: 35448976411     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-69554-7_11     Document Type: Conference Paper

References (29)

1. Tiago Alves and Joost Visser. Metrication of sdf grammars. Technical Report DI-PURe-05.05.01, Departamento de Informática, Universidade do Minho, 2005.
2. Ann Blandford, Richard Butterworth, and Paul Curzon. Models of interactive systems: a case study on programmable user modelling. International Journal of Human-Computer Studies International Journal of Human-Computer Studies, 60:149-200, 2004.
3. José C. Campos and Michael D. Harrison. Model checking interactor specifications. Automated Software Engineering, 8(3-4):275-310, August 2001.
4. José Creissac Campos. Using task knowledge to guide interactor specifications analysis. In J. A. Jorge, N. J. Nunes, and J. F. Cunha, editors, Interactive Systems: Design, Specification and Verification - 10th International Workshop, DSV-IS 2003, volume 2844 of Lecture Notes in Computer Science, pages 171-186. Springer, 2003.
5. J. Chen and S. Subramaniam. A gui environment for testing gui-based applications in java. Proceedings of the 34th Hawaii International Conferences on System Sciences, January 2001.
6. Bruno d'Ausbourg, Guy Durrieu, and Pierre Roché. Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour. In F. Bodart and J. Vanderdonckt, editors, Design, Specification and Verification of Interactive Systems '96, Springer Computer Science, pages 105-122. Springer-Verlag/Wien, June 1996.
7. D. J. Duke and M. D. Harrison. Abstract interaction objects. Computer Graphics Forum 12(3), 25-36, 1993.
8. D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Syndetic modelling. Human-Computer Interaction, 13(4):337-393, 1998.
9. Merlo E., Gagne P. Y., Girard J.F., Kontogiannis K., Hendren L.J., Panangaden P., and De Mori R. Reverse engineering and reengineering of user interfaces. IEEE Software, 12(1), 64-73, 1995.
10. B. Lientz e E. Swanson. Software Maintenance Management. Addison-wesley edition, 1980.
11. Dan Heller and Paula M. Ferguson. Motif Programming Manual, volume 6A of X Window System Seris. O'Reilly & Associates, Inc., second edition, 1994.
12. E. Hollnagel. Human Reliability Analysis: Context and Control. Academic press edition, 1993.
13. Simon Peyton Jones, John Hughes, Lennart Augustsson, et al. Report on the Programming Language Haskell 98. Technical report, February 1999.
14. R. Lammel and J. Visser. A STRAFUNSKI application letter. Technical report, CWI, Vrije Universiteit, Software Improvement Group, Kruislaan, Amsterdam, 2003.
15. Nancy Leveson. Safeware: System Safety and Computers. Addison-Wesley Publishing Company, Inc., 1995.
16. Clayton Lewis, Peter Poison, Cathleen Wharton, and John Rieman. Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces. In CHI '90 Proceedings, pages 235-242, New York, April 1990. ACM Press.
17. Andrea De Lucia. Program slicing: Methods and applications. IEEE workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001.
18. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
19. Atif Memon, Ishan Banerjee, and Adithya Nagarajan. GUI ripping: Reverse engineering of graphical user interfaces for testing. Technical report, Department of Computer Science and Fraunhofer Center for Experimental Software Engineering, Department of Computer Science University of Maryland,USA, 2003.
20. M. M. Moore. Rule-based detection for reverse engineering user interfces. Proceedings of the Third Working Conference on Reverse Engineering, pages 42-8, Monterey, CA, november 1996.
21. Jakob Nielsen and Rolf Molich. Heuristic evaluation of user interfaces. In CHI '90 Proceedings, pages 249-256, New York, April 1990. ACM Press.
22. Fabio Paternò. Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag, London, 2000.
23. John Rushby. Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety, 75(2):167-177, February 2002.
24. ISO/TC159 Sub-Commitee SC4. Draft International ISO DIS 9241-11 Standard. International Organization for Standardization, September 1994.
25. T. Systa. Dynamic reverse engineering of java software. Technical report, University of Tampere, Finland, 2001.
26. Harold Thimbleby. User interface design with matrix algebra. ACM Transactions on HUman-Computer Interaction, 11(2):181-236, June 2004.
27. Frank Tip. A survey of program slicing techniques. Journal of Programming Languages, September 1995.
28. Eelco Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In Lengauer et al., editors, Domain-Specific Program Generation, Lecture Notes in Computer Science. Spinger-Verlag, November 2003. (Draft; Accepted for publication).
29. Joost Visser. Generic Traversal over Typed Source Code Representations. PhD thesis, University of Amsterdam, February 2003.