Fish, Andrew, Khazaei, Babak and Roast, Chris (2007) Exploring human factors in formal diagram usage In: Proceedings of the EIS 2007 Joint Working Conferences, 22-24 Mar, 2007, Salamanca, Spain.Full text not available from this repository.
Formal diagrammatic notations have been developed as alternatives to symbolic specification notations. Ostensibly to aid users in performing comprehension and reasoning tasks, restrictions called well- formedness conditions may be imposed. However, imposing too many of these conditions can have adverse effects on the utility of the nota- tion (e.g. reducing the expressiveness). Understanding the human factors involved in the use of a notation, such as how user-preference and comprehension relate to the imposition of wellformedness conditions, will enable the notation designers to make more informed design decisions. Euler diagrams are a simple visualization of set-theoretic relationships which are the basis of more expressive constraint languages. We have performed exploratory studies with Euler diagrams which indicated that novice user preferences strongly conform to the imposition of all well- formedness conditions, but that even a limited exposure diminishes this preference.
|Item Type:||Contribution to conference proceedings in the public domain ( Full Paper)|
|Subjects:||G000 Computing and Mathematical Sciences > G600 Software Engineering|
|DOI (a stable link to the resource):||10.1007/978-3-540-92698-6_25|
|Faculties:||Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling|
|Date Deposited:||21 Aug 2009|
|Last Modified:||14 Apr 2015 13:05|
Actions (login required)
Downloads per month over past year