Login / Signup
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications.
Adrian Pop
Peter Fritzson
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
operational semantics
formal semantics
formal specification
mental states
mobile robot
open source
model theoretic
data model
autonomous agents
activity diagrams
dynamic environments
agent programming
attribute grammars