Login / Signup
Towards a Methodology for Semantics Specification of Domain-specific Models through Properties.
Ragnhild Van Der Straeten
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
</>
domain specific
trading systems
formal language
logic programming
statistical models
mathematical models
modeling framework
natural language
prior knowledge
probabilistic model
model selection
temporal logic
desirable properties
analytical models
semantic models
semantics for logic programs