Euler diagram-based notations

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations. Technical Report. University of Brighton, Brighton, UK.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
443 Kb

Abstract

Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we survey notations based on Euler diagrams with particular emphasis on formalization and the development of software tool support.

Item Type:Monograph (Technical Report)
Uncontrolled Keywords:Visual formalisms, diagrammatic reasoning, automated reasoning, software specification, information visualization
Subjects:G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties/Schools:Faculty of Management and Info Sciences > School of Computing Mathematical and Information Sciences > Visual Modelling
ID Code:2996
Deposited By:Helen Webb
Deposited On:10 November 2007

Repository Staff Only: edit this item