On Visual Formalisms

On Visual Formalisms (1988)

Cached

Download Links

[www.wisdom.weizmann.ac.il]

Other Repositories/Bibliography

DBLP

by David Harel

Venue:	COMMUNICATIONS OF THE ACM
Citations:	516 - 15 self

BibTeX

@MISC{Harel88onvisual,
    author = {David Harel},
    title = {On Visual Formalisms},
    year = {1988}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

3118	Communicating Sequential Processes - Hoare - 1985
1962	Statecharts: A visual formalism for complex systems - Harel - 1987
1234	The Entity-Relationship Model -- Toward a Unified View of Data - Chen - 1976
503	Principles of Artificial Intelligence - Nilsson - 1982
501	The STATEMATE semantics of statecharts - Harel, Naamad - 1996
283	A.: On the development of reactive systems - Harel, Pnueli - 1985
238	Introduction to Automata Theory - Hopcroft, Ullman - 1979
126	Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends - Pnueli - 1986
78	The Esterel synchronous programming language and its mathematical semantics - Berry, Cosserat - 1985
59	Degrees of acyclicity for hypergraphs and relational database schemes - Fagin - 1983
33	Introduction to Topology - Lefschetz - 1949
19	When do diagrams make good computer languages,’’ Int - Fitter, Green - 1979
12	Pictures of programs and other processes, or how to do things with lines - Green - 1982
6	Predicate Calculus Based Semantic Network for QuestionAnswering Systems - McSkimin, Minker - 1979
4	Introduction to Artificial Intelligence - unknown authors - 1985
3	Graphs and Hypergraphs - unknown authors - 1972
3	Statemate, a working environment for the development of complex reactive systems - Politi, Sherman, et al. - 1988
3	Specification and Verification of Concurrent Programs by V-Automata - MANNA, PNUELI - 1987
2	A Calculus of Communicating Systems - unknown authors - 1980
1	Semantics of multiple inheritance in semantics of data types - A - 1984
1	Hypertext: An introduction and survey - Conkiln - 1987
1	Nonanalytic aspects on mathematics and their implication on research and education - Anderson - 1979
1	A data type approach to the entity.relationship model - Furtado - 1980
1	Solutio problemaris ad geometriam situs pertinentis - Euler
1	Leftres ;' une Princesse d'Allemagne - unknown authors
1	An entity-relationship approach to modelling petroleum engineering database - al-Fedaghi - 1983
1	Associative Networks: Representation and Use of Knowledge by Computer - Ed - 1979
1	Logic Machines and Diagrams. 2nd ed - Gardner - 1982
1	Expanding the utility of semantic networks through partitioning - G
1	i-Logix The languages of - Rap, Burlington, et al. - 1987
1	Statecharts with overlapping states. M.S. thesis - Kahana - 1986
1	Diagramming Techniques for Analysts and Programmers - C - 1985
1	Integrity checking in a logic-oriented ER model. In Entity-Relationship Approach to Software Engineering - unknown authors - 1983