Formal models for user interface design artefacts-Reference-Cited by-同舟云学术

Formal models for user interface design artefacts

Published:2008-04-16 Issue:2 Volume:4 Page:125-141
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Bowen Judy,Reeves Steve

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-008-0049-0.pdf

Reference42 articles.

1. 13568 I (2002) Information Technology—Z Formal Specification Notation—Syntax, Type System and Semantics, 1st edn. Prentice-Hall International Series in Computer Science, ISO/IEC, Upper Saddle River

2. Blandford AE, Butterworth R, Curzon P (2001) PUMA footprints: linking theory and craftskill in usability evaluation. In: Proceedings of Interact, IOS Press, Amsterdam pp 577–584

3. BlandfordAButterworthR Curzon P (2004) Models of interactive systems: a case study on programmable user modelling. Int J Hum-Comput Stud 60(2): 149–200. doi: 10.1016/j.ijhcs.2003.08.004

4. Bowen J (2005) Formal specification of user interface design guidelines. Master’s thesis, University of Waikato

5. Bowen J, Reeves S (2006) Formal models for informal GUI designs. In: 1st International Workshop on Formal Methods for Interactive Systems, Macau SAR China, 31 October 2006, Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interactive System Modelling for the Internet of Things;Proceedings of the ACM on Human-Computer Interaction;2023-06-14

2. Creating Formal Models from Informal Design Artefacts;International Journal of Human–Computer Interaction;2022-08-02

3. Genetic Criticism and Analysis of Interface Design. A Case Study;Digital Studies/le champ numérique (DSCN) Open Issue 2022;2022-05-11

4. Interaction Modelling for IoT;2021 28th Asia-Pacific Software Engineering Conference (APSEC);2021-12

5. Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design;Interacting with Computers;2021-01