An institution theory of formal meta-modelling in graphically extended BNF.

Published in: Frontiers Comput. Sci. China (2012)

Keyphrases

mathematical theory
formal methods
theoretical basis
formal models
database
meta level
formal model
information retrieval
causal reasoning
formal languages
mathematical foundations
general theory
information theory
computational model
multi agent
decision trees
image processing
genetic algorithm
real world
data sets