Institutions: Abstract Model Theory for Specification and Programming.

Joseph A. Goguen Rod M. Burstall

Published in: J. ACM (1992)

Keyphrases

high level
computational model
probabilistic model
formal model
statistical model

similarity measure
prior knowledge
management system
theoretical framework
conceptual model

modelling language
data sets
specification language
formal methods
simulation model

mathematical model
parameter estimation
input data
objective function
neural network