Euler diagram-based notations

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

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

Bibliographical note

VMG.06.1

Keywords

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

Fingerprint Dive into the research topics of 'Euler diagram-based notations'. Together they form a unique fingerprint.

Cite this