The STATEMATE Semantics of Statecharts.

David Harel Amnon Naamad

Published in: ACM Trans. Softw. Eng. Methodol. (1996)

Keyphrases

knowledge representation
logic programming
semantic web
formal semantics
databases
transformation rules
real time
information systems
case study
deductive databases
neural network
social networks
semantic information
conceptual graphs
conceptual modeling
logical framework