Conceptual Modeling in the Context of Development

The entity-relationship model—toward a unified view of data

Peter Pin-Shan Chen · ACM Transactions on Database Systems · 1976 · 4.6K citations · Full text

Computing, Computer Science, Data Management +14

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Engineering, Computer Science, Systems Engineering +12

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

Computing, Computer Science, Formal Methods +10

On visual formalisms

David Harel · Communications of the ACM · 1988 · 1.3K citations · Full text

Architecture, Computer Science, Systems Engineering +16

The role of frame-based representation in reasoning

Richard Fikes, Tom Kehler · Communications of the ACM · 1985 · 823 citations · Full text

Computing, Computer Science, Knowledge Representation +13