A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.

Bernhard Reus Martin Wirsing Rolf Hennicker

Published in: FASE (2001)

Keyphrases

metamodel
neural network
case study
complex systems
probabilistic model
databases
user interface
modelling language
database
design choices
design decisions
computational models
experimental data
process model
knowledge based systems
open source
programming language
prior knowledge
bayesian networks