Sciweavers

20 search results - page 1 / 4
» On the Completeness and Expressiveness of Spider Diagram Sys...
Sort
View
DIAGRAMS
2000
Springer
13 years 9 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
13 years 9 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
13 years 11 months ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
VL
1999
IEEE
120views Visual Languages» more  VL 1999»
13 years 9 months ago
Formalizing Spider Diagrams
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
Joseph Gil, John Howse, Stuart Kent
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
13 years 9 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor