C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning.
Ferhat Erata
Arda Goknil
Ivan Kurtev
Bedir Tekinerdogan
Published in:
ESEC/SIGSOFT FSE (2018)
Keyphrases
</>
computational model
object model
high level
relational databases
higher order
neural network
objective function
probabilistic model
production rules
multi valued
reasoning process
computational properties