• 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 ErataArda GoknilIvan KurtevBedir 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