David Harel  Home/Search
Context Related
| wisdom.weizmann.ac...sualFormalisms.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisdom.weizmann.ac.il/~dharel/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article is to extend and combine Euler's two topo-visual formalisms into a tool suitable for dealing with such cases. In the next section, we introduce higraphs, 4 first mod- ifying Euler/Venn diagrams somewhat. then extending tlem to represent the Cartesian product. and finally connecting the resulting curves by edges or hyperedges. [The appendix contains the formal syntax and seman- tics of simple higraphs.} We will then illustrate the power of the formalism by briefly discussing... (Update)
Cited by: More
Designing Cooperative MediaIntegrated - Mobile Applications Max (Correct)
Domain System Statecharts: - The Good The (Correct)
HGV: A Library for Hierarchies, Graphs, and Views - Raitner (Correct)
Active bibliography (related documents): More All
0.5: Statecharts: A Visual Formalism For Complex Systems - Harel (1987) (Correct)
0.2: Natural Language Processing Using a Propositional Semantic.. - Ali, Shapiro (1993) (Correct)
0.2: A "Natural Logic" For Natural Language Processing And Knowledge.. - Ali (1993) (Correct)
Similar documents based on text: More All
0.5: Higraph-based Predicate and Heterogeneous Specification - Paige (1995) (Correct)
0.5: Challenges in Graph-Based Relational Data Visualization - Noik (1992) (Correct)
0.3: On the Algorithmics of Higraphs - Grossman, Harel (1997) (Correct)
Related documents from co-citation: More All
20: ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
19: Statecharts: A visual formalism for complex systems - Harel - 1987
15: STATEMATE: A working environment for the development of complex reactive systems - Harel, Lachover et al. - 1990
BibTeX entry: (Update)
Harel, D., "On Visual Formalisms," Communications of the ACM 31(5), pp. 514-530 (May 1988). http://citeseer.ist.psu.edu/harel88visual.html More
@incollection{ harel95visual,
author = "David Harel",
title = "On Visual Formalisms",
booktitle = "Diagrammatic Reasoning",
publisher = "The {MIT} Press",
address = "Cambridge, Massachusetts",
editor = "Janice Glasgow and N. Hari Narayanan and B. Chandrasekaran",
pages = "235--271",
year = "1995",
url = "citeseer.ist.psu.edu/harel88visual.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare
1911 Introduction to Automata Theory (context) - Ullman - 1979
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
637 The entity-relationship model--toward a unified view of data (context) - Chen - 1976
297 STATEMATE: A working environment for the development of comp.. - Harel, Lachover et al. - 1988
154 Introduction to Artificial Intelligence (context) - McDermott - 1985
118 the formal semantics of statecharts (context) - Pnueli, Schmidt et al. - 1987
74 Allyn and Bacon (context) - Dugundji - 1966
66 The ESTEREL synchronous programming language and its mathema.. (context) - Cosserat - 1985
65 the epistemological status of semantic networks (context) - On - 1979
32 Degrees of acyclicity for hypergraphs and relational data- b.. (context) - Fagin - 1982
19 Associative Networks: Representation and Use of Knowledge by.. (context) - Ed - 1979
11 When do diagrams make good com- puter languages (context) - Fitter, Green - 1979
7 Graph Theory (context) - Lloyd, Wilson - 1976
6 Logic Machines and Diagrams (context) - Gardner - 1982
2 or how to do things with lines (context) - Green
1 une Princesse d'Allemagne (context) - Leftres
1 Hypertext: An introduction and survey (context) - Conkiln - 1987
1 Nonanalytic aspects on mathematics and their implication on .. (context) - Anderson - 1979
1 May 1988 Volume 31 Number 5 CommuniCations of the ACM (context) - languages, STATEMATE et al. - 1988
1 An entity-relationship approach to modelling petroleum engin.. (context) - al-Fedaghi - 1983
1 Statecharts with overlapping states (context) - Kahana - 1986
1 Solutio problemaris ad geometriam situs pertinentis (context) - Euler
1 A data type ap- proach to the entity (context) - Santos, Neuhold et al. - 1980
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/): More
Propositional Dynamic Logic of Nonregular Programs - Harel, Pnueli, Stavi (1983) (Correct)
Statecharts: A Visual Formalism For Complex Systems - Harel (1987) (Correct)
Beauty is in the Genes of the Beholder - Harel, Unger, Sussman (1984) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC