A meta-theory for component interfaces with contracts on ports.

Sebastian S. Bauer Rolf Hennicker Axel Legay

Published in: Sci. Comput. Program. (2014)

Keyphrases

knowledge base
general theory
theoretical framework
neural network
decision trees
case study
supply chain
data sets
databases
information systems
probabilistic model
computational models
information theory
theoretical basis
meta level
principal agent