Journal ArticleDOI
On visual formalisms
TLDR
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.Abstract:
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.read more
Citations
More filters
Journal ArticleDOI
Alloy: a lightweight object modelling notation
TL;DR: This paper presents the Alloy language in its entirety, and explains its motivation, contributions and deficiencies.
Journal ArticleDOI
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering
TL;DR: A set of principles for designing cognitively effective visual notations: ones that are optimized for human communication and problem solving are defined, which form a design theory, called the Physics of Notations, which focuses on the physical properties of notations rather than their logical properties.
Journal ArticleDOI
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Journal ArticleDOI
Algorithms for drawing graphs: an annotated bibliography
TL;DR: A bibliographic survey on algorithms whose goal is to produce aesthetically pleasing drawings of graphs is presented, a first attempt to encompass both theoretical and application-oriented papers from disparate areas.
Journal ArticleDOI
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
TL;DR: NoteCards is presented as a foil against which to explore some of the major limitations of the current generation of hypermedia systems, and characterizes the issues that must be addressed in designing the next generation systems.
References
More filters
Book
Statistical Graphics: Design Principles and Practices
TL;DR: Covers problems, standards and guidelines that relate to projection and pictorial techniques that relateto projection and Pictorial techniques and demonstrates common errors and pitfalls.
Proceedings Article
Connections in Acyclic Hypergraphs.
David Maier,Jeffrey D. Ullman +1 more
TL;DR: In this article, the equivalence between blocks and biconnected components (subgraphs in which there are two edge-disjoint paths between any pair of nodes) that holds in ordinary graph theory can be generalized to hypergraphs.
Journal ArticleDOI
Pictures of programs and other processes, or how to do things with lines
TL;DR: Several of the competing notations produced with the rise of structured programming, each trying to improve on flowcharts, are compared and empirical evidence is reviewed as to their success or failure.
Book ChapterDOI
A predicate calculus based semantic network for deductive searching
James R. McSkimin,Jack Minker +1 more
TL;DR: The rationale for the form of the semantic network, and each of the components of the network is developed in the chapter, and several examples are presented to illustrate the concepts developed.
Journal ArticleDOI
Nonanalytic Aspects of Mathematics and Their Implication for Research and Education
TL;DR: The authors make a distinction between the practice of mathematics as it is usually presented, a logical chain of abstract, analytical reasoning from premises to conclusions, and how mathematics seems to be done in actuality, as a series of nonverbal, analog, often kinesthetic or visual insights.