Implementability of requirements in the four-variable model.

Lucian M. Patcas Mark Lawford Tom Maibaum

Published in: Sci. Comput. Program. (2015)

Keyphrases

computational model
hybrid model
probabilistic model
management system
mathematical model
statistical model
conceptual model
probability distribution
theoretical framework
data mining
video sequences
prior knowledge
input data
closed form
sensitivity analysis
formal model