Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specification-Based Testing of Interactive Systems.. INTERACT, volume 96 of IFIP Conference Proceedings, page 640-643. Chapman & Hall, (1997)Assessing Usability from Formal User-Interface Designs., , and . Australian Software Engineering Conference, page 40-47. IEEE Computer Society, (2001)Translating UAN into CSP., and . ICFEM, page 121-132. IEEE Computer Society, (2000)Mobile banking customization via user-defined tags., , and . OZCHI, page 261-264. ACM, (2011)From Object-Z Specifications to ClassBench Test Suites., , , , and . Softw. Test. Verification Reliab., 10 (2): 111-137 (2000)A Model of Specification-Based Testing of Interactive Systems., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1862. Springer, (1999)Spontaneous scenarios: an approach to user engagement., , , , and . CHI Extended Abstracts, page 2109-2112. ACM, (2008)Online Banking Customization via Tag-based Interaction., , and . DCI@INTERACT, volume 817 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Setting up a tutor training programme in computer science., , , , , , and . ACSE, volume 1 of ACM International Conference Proceeding Series, page 254-259. ACM, (1996)Noising around: investigations in mobile learning., and . IDC, page 147-155. ACM, (2010)