Euler diagram-based notations

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

Euler diagram-based notations

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

University of Brighton

Research output: Other contribution

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 language	English
Publisher	University of Brighton
Place of Publication	Brighton, UK
Publication status	Published - 2006

Bibliographical note

VMG.06.1

Keywords

Visual formalisms
diagrammatic reasoning
automated reasoning
software specification
information visualization

Access to Document

TRvmg0601.pdfOther version, 443 KBLicence: Unspecified

Cite this

@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",

}

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 -

Euler diagram-based notations

Abstract

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this