A Reification Calculus for Model-Oriented Software Specification.

José Nuno Oliveira

Published in: Formal Aspects Comput. (1990)

Keyphrases

computational model
statistical model
high level
cost function
neural network
theoretical framework
mathematical model
conceptual model
database
probability distribution
process model
model checking
software tools