A UTP Refinement Model of the STeC Language.

Yuanrui Zhang Yujing Ma Yixiang Chen

Published in: QRS Companion (2016)

Keyphrases

computational model
probabilistic model
theoretical framework
high level
statistical model
theoretical analysis
data sets
machine learning
real time
conceptual model
software engineering
computational models
mathematical model
management system
prior knowledge
objective function
search engine