Automated Prototype Generation from Formal Requirements Model.

Yilong Yang Xiaoshan Li Zhiming Liu Wei Ke Quan Zu Xiaohong Chen

Published in: CoRR (2018)

Keyphrases

high level
machine learning
generation process
formal model
sensitivity analysis
process model
prior knowledge
multi agent
probabilistic model
d objects
theoretical analysis
computational model
statistical model
decision making
information retrieval
network model
data sets