Tracing of Informal and Formal Requirements through Model Variables.

Martin Böschen Christian Rudat

Published in: SKY (2015)

Keyphrases

formal model
prior knowledge
computational model
statistical model
mathematical model
management system
objective function
cost function
probabilistic model
probability distribution
least squares
theoretical framework
neural network model