User interface model discovery: Towards a generic approach

EICS'10 - Proceedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Volumn , Issue , 2010, Pages 145-154

  Gimblett, Andy ^a   Thimbleby, Harold ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Discovery tools; Interaction programming; Reverse engineering; Structural usability

Indexed keywords

FORMAL METHODS; REVERSE ENGINEERING; SOFTWARE PROTOTYPING;

AUTOMATIC ANALYSIS; DISCOVERY ALGORITHM; INTERACTION PROGRAMMING; INTERACTIVE SYSTEM; LIGHTWEIGHT FORMAL METHODS; MODEL DISCOVERIES; STRUCTURAL USABILITY; USER INTERFACE MODELS;

USER INTERFACES;

EID: 77955102070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1822018.1822041     Document Type: Conference Paper

References (25)

1. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. SIGPLAN Not., 37(1):4-16, 2002.
2. M. Bidoit and P. D. Mosses. CASL User Manual. LNCS Vol. 2900 (IFIP Series). Springer, 2004.
3. D. Crockford. RFC 4627 - The application/json media type for JavaScript Object Notation. Technical report.
4. A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991.
5. M. B. Dwyer, R. Robby, O. Tkachuk, and W. Visser. Analyzing interaction orderings with model checking. In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering, pages 154-163. IEEE Computer Society, 2004.
6. D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, 2006.
7. P. Li and E. Wohlstadter. View-based maintenance of graphical user interfaces. In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development, pages 156-167. ACM, 2008.
8. A. Memon, I. Banerjee, and A. Nagarajan. GUI ripping: reverse engineering of graphical user interfaces for testing. In WCRE '03: Proceedings of the 10th Working Conference on Reverse Engineering, page 260. IEEE Computer Society, 2003.
9. M. Mernik, J. Heering, and A. M. Sloane. When and how to develop domain-specific languages. ACM Comput. Surv., 37(4):316-344, 2005.
10. A. Mesbah, E. Bozdag, and A. v. Deursen. Crawling AJAX by inferring user interface state changes. In ICWE '08: Proceedings of the 2008 Eighth International Conference on Web Engineering, pages 122-134. IEEE Computer Society, 2008.
11. A. C. R. Paiva, J. C. P. Faria, and P. M. C. Mendes. Reverse engineered formal models for GUI testing. In FMICS '07: International Workshop on Formal Methods for Industrial Critical Systems, LNCS 4916, pages 218-233. Springer, 2008.
12. A. C. R. Paiva, J. C. P. Faria, N. Tillmann, and R. A. M. Vidal. A model-to-implementation mapping tool for automated model-based GUI testing. In ICFEM '05: 7th International Conference on Formal Engineering Methods, LNCS 3785, pages 450-464. Springer, 2005.
13. S. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, 2003.
14. J. Reason. Human error: models and management. BMJ, 320(7237):768-770, March 2000.
15. T. M. H. Reenskaug. Models - views - controllers. Technical note, Xerox PARC, 1979.
16. J. C. Silva, J. C. Campos, and J. Saraiva. Combining formal methods and functional strategies regarding the reverse engineering of interactive applications. In Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag, 2007.
17. J. C. Silva, J. Saraiva, and J. C. Campos. A generic library for GUI reasoning and testing. In SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, pages 121-128. ACM, 2009.
18. J. Smart, K. Hock, and S. Csomor. Cross-Platform GUI Programming with wxWidgets. Prentice Hall, 2005.
19. S. Staiger. Reverse engineering of graphical user interfaces using static analyses. In WCRE '07: Proceedings of the 14th Working Conference on Reverse Engineering, pages 189-198. IEEE Computer Society, 2007.
20. S. Staiger. Static analysis of programs with graphical user interface. In CSMR '07: Proceedings of the 11th European Conference on Software Maintenance and Reengineering, pages 252-264. IEEE Computer Society, 2007.
21. H. Thimbleby. Press On. Principles of interaction programming. MIT Press, Boston, USA., 2007.
22. H. Thimbleby. User-centered methods are insufficient for safety critical systems. Proceedings of USAB'07 - Usability & HCI for Medicine and Health Care, 4799:1-20, 2007.
23. H. Thimbleby. Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. In EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, pages 221-230. ACM, 2009.
24. H. Thimbleby and P. Oladimeji. Social network analysis and interactive device design analysis. In EICS '09: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, pages 91-100. ACM, 2009.
25. P. H. Winston. Artificial Intelligence. Addison-Wesley, 1992.