Refinement for User Interface Designs-Reference-Cited by-同舟云学术

Refinement for User Interface Designs

Published:2008-04 Issue: Volume:208 Page:5-22
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bowen Judy,Reeves Steve

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference12 articles.

1. 13568, I., “Information Technology—Z Formal Specification Notation—Syntax, Type System and Semantics,” Prentice-Hall International series in computer science, ISO/IEC, 2002, first edition

2. Bowen, J., “Formal Specification of User Interface Design Guidelines,” Masters thesis, Computer Science Department, University of Waikato (2005)

3. Bowen, J. and S. Reeves, Formal models for informal GUI designs, in: 1st International Workshop on Formal Methods for Interactive Systems, Macau SAR China, 31 October 2006 (2006)

4. Bowen, J. and S. Reeves, Using formal models to design user interfaces, a case study, in: HCI 2007: Proceedings of the 21st BCS HCI Group Conference, 2007

5. Bowen, J.A. and S. Reeves, Formal refinement of informal GUI design artefacts., in: Proceedings of the Australian Software Engineering Conference (ASWEC'06) (2006), pp. 221–230

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

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

2. A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops;Lecture Notes in Computer Science;2020

3. Refinement Based Formal Development of Human-Machine Interface;Software Technologies: Applications and Foundations;2018

4. Verification of Plastic Interactive Systems;i-com;2015-12-01

5. Plasticity of user interfaces;Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2015-06-23