Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Bowen, Judy Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 2 of 2 reviews    
  The handbook of formal methods in human-computer interaction
Weyers B., Bowen J., Dix A., Palanque P., Springer International Publishing, New York, NY, 2017. 575 pp.  Type: Book (978-3-319518-37-4)

Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings of CHI [1,2], the leading conference in the domain, will make this clear: almost all papers report on carefully crafte...
...
Jan 22 2018  
  Formal refinement of informal GUI design artefacts
Bowen J., Reeves S.  Australian software engineering conference (Proceedings of the Australian Software Engineering Conference (ASWEC’06),Apr 18-21, 2006) 221-230, 2006.  Type: Proceedings

To consider the user interface design of an application in relation to the function of that application is not new; neither is it new to promote the creative potential of rigorous and formal approaches in user interface design [1]. The...
...
Sep 4 2007  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy