Login / Signup

A Complete Operator Library for DSL Evolution Specification.

J. G. M. MengerinkAlexander SerebrenikRamon R. H. SchiffelersM. G. J. van den Brand
Published in: ICSME (2016)
Keyphrases
  • provably correct
  • database
  • neural network
  • real time
  • genetic algorithm
  • artificial intelligence
  • knowledge base
  • relational databases
  • temporal evolution
  • formal verification