Cognitive dimensions of notations
Proceedings of the fifth conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and computers V
Handbook of logic in computer science (vol. 2)
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Operational constraints in diagrammatic reasoning
Logical reasoning with diagrams
Situation-theoretic account of valid reasoning with Venn diagrams
Logical reasoning with diagrams
Towards a model theory of Venn diagrams
Logical reasoning with diagrams
Visual language theory: towards a human computer interaction perspective
Visual language theory
On the isomorphism, or lack of it, of representations
Visual language theory
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Theories of Diagrammatic Reasoning: Distinguishing Component Problems
Minds and Machines
Derivative Meaning in Graphical Representations
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Formalizing Pragmatic Features of Graph-Based Notations
VL '99 Proceedings of the IEEE Symposium on Visual Languages
VPLs and Novice Program Comprehension: How do Different Languages Compare?
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
UML class diagram syntax: an empirical study of comprehension
APVis '01 Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9
Comprehension of diagram syntax: an empirical study of entity relationship notations
International Journal of Human-Computer Studies - Special issue: Empirical studies of software engineering
Towards Overcoming Deficiencies in Constraint Diagrams
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Visual qualities of the Unified Modeling Language: Deficiencies and Improvements
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Evaluating and generalizing constraint diagrams
Journal of Visual Languages and Computing
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Reflective Analysis of the Syntax and Semantics of the i* Framework
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A Hoare logic for single-input single-output continuous-time control systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A decision procedure for a decidable fragment of generalized constraint diagrams
Journal of Visual Languages and Computing
Automatically drawing Euler diagrams with circles
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Diagrammatic specification, modelling and programming languages are increasingly prevalent in software engineering and, it is often claimed, provide natural representations which permit of intuitive reasoning. A desirable goal of software engineering is the rigorous justification of such reasoning, yet many formal accounts of diagrammatic languages confuse or destroy any natural reading of the diagrams. Hence they cannot be said to be intuitive. The answer, we feel, is to examine seriously the meaning and accuracy of the terms “natural” and “intuitive” in this context. This paper highlights, and illustrates by means of examples taken from industrial practice, an ongoing research theme of the authors. We take a deeper and more cognitively informed consideration of diagrams which leads us to a more natural formal underpinning that permits (i) the formal justification of informal intuitive arguments, without placing the onus of formality upon the engineer constructing the argument; and (ii) a principled approach to the identification of intuitive (and counter-intuitive) features of diagrammatic languages.