Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.

Alexander Reder Alexander Egyed

Published in: MoDELS (2012)

Keyphrases

consistency checking
high level
computational model
probabilistic model
mathematical model
conceptual model
neural network
user interface
metamodel
database
databases
case study
objective function
object oriented
building blocks
design process