Probabilistic contracts for component-based design.

Gregor Gößler Dana N. Xu Alain Girault

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

case study
design process
computer aided
software engineering
generative model
design principles
data sets
databases
artificial intelligence
social networks
user interface
probabilistic model
data driven
knowledge based systems
optimal design