Euler diagram-based notations

John Howse, R. Bosworth, Andrew Fish, Gem Stapleton, J. Taylor, P. Rodgers, S. Thompson

Research output: Other contributionResearch

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.
Original languageEnglish
PublisherUniversity of Brighton
Place of PublicationBrighton, UK
Publication statusPublished - 2006

Fingerprint

Conveying

Bibliographical note

VMG.06.1

Keywords

  • Visual formalisms
  • diagrammatic reasoning
  • automated reasoning
  • software specification
  • information visualization

Cite this

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P., & Thompson, S. (2006). Euler diagram-based notations. Brighton, UK: University of Brighton.
Howse, John ; Bosworth, R. ; Fish, Andrew ; Stapleton, Gem ; Taylor, J. ; Rodgers, P. ; Thompson, S. / Euler diagram-based notations. 2006. Brighton, UK : University of Brighton.
@misc{163b8a06a3d546d7a284cb172800b6f5,
title = "Euler diagram-based notations",
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.",
keywords = "Visual formalisms, diagrammatic reasoning, automated reasoning, software specification, information visualization",
author = "John Howse and R. Bosworth and Andrew Fish and Gem Stapleton and J. Taylor and P. Rodgers and S. Thompson",
note = "VMG.06.1",
year = "2006",
language = "English",
publisher = "University of Brighton",
type = "Other",

}

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

Euler diagram-based notations. / Howse, John; Bosworth, R.; Fish, Andrew; Stapleton, Gem; Taylor, J.; Rodgers, P.; Thompson, S.

Brighton, UK : University of Brighton. 2006, .

Research output: Other contributionResearch

TY - GEN

T1 - Euler diagram-based notations

AU - Howse, John

AU - Bosworth, R.

AU - Fish, Andrew

AU - Stapleton, Gem

AU - Taylor, J.

AU - Rodgers, P.

AU - Thompson, S.

N1 - VMG.06.1

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - Visual formalisms

KW - diagrammatic reasoning

KW - automated reasoning

KW - software specification

KW - information visualization

M3 - Other contribution

PB - University of Brighton

CY - Brighton, UK

ER -

Howse J, Bosworth R, Fish A, Stapleton G, Taylor J, Rodgers P et al. Euler diagram-based notations. 2006.