The Computer Journal
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Communications of the ACM
The Z notation: a reference manual
The Z notation: a reference manual
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Expressing structural hypertext queries in graphlog
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Software engineering mathematics
Software engineering mathematics
Object oriented design with applications
Object oriented design with applications
The craft of Prolog
The SGML handbook
The information visualizer, an information workspace
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Object-Oriented Software Construction
Object-Oriented Software Construction
Structured Analysis
Entity-Relationship Approach to Logical Data Base Design
Entity-Relationship Approach to Logical Data Base Design
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Structured Analysis and System Specification
Structured Analysis and System Specification
Architecture and applications of the Hy+ visualization system
IBM Systems Journal
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Exploring large hyperdocuments: fisheye views of nested networks
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
| Hi-index | 0.00 |
4Thought, a prototype design tool, is based on the notion that design artifacts are complex, formal, mathematical objects that require complementary textual and graphical views to be adequately comprehended. This paper describes the combined use of Entity- Relationship modelling and GraphLog to bridge the textual and graphical views. These techniques are illustrated by an example that is formally specified in Z Notation.