Object-oriented subsystem specification
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Logic and Visual Information
Object-Oriented Process Specification
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Modeling Heterogeneous Systems
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Towards a Formalization of Constraint Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with Spider Diagrams
VL '99 Proceedings of the IEEE Symposium on Visual Languages
SD2: A Sound and Complete Diagrammatic Reasoning System
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
VENNFS: A Venn-Diagram File Manager
IV '03 Proceedings of the Seventh International Conference on Information Visualization
Layout Metrics for Euler Diagrams
IV '03 Proceedings of the Seventh International Conference on Information Visualization
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Collaborative knowledge capture in ontologies
Proceedings of the 3rd international conference on Knowledge capture
An Experimental Study into the Default Reading of Constraint Diagrams
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
The Expressiveness of Spider Diagrams
Journal of Logic and Computation
A reading algorithm for constraint diagrams
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
A Decidable Constraint Diagram Reasoning System
Journal of Logic and Computation
Automated Theorem Proving in Euler Diagram Systems
Journal of Automated Reasoning
The expressiveness of spider diagrams augmented with constants
Journal of Visual Languages and Computing
Towards a General Solution to Drawing Area-Proportional Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure Mode Modular De-Composition Using Spider Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
A System for Virtual Directories Using Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating Reasoning with Constraint Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
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 consider some notations based on Euler diagrams, in particular Spider Diagrams and Constraint Diagrams, with particular emphasis on the development of reasoning systems.