Login / Signup
Generating supportive hypotheses in introducing formal methods using a software processes improvement model.
Shigeru Kusakabe
Hsin-Hung Lin
Yoichi Omori
Keijiro Araki
Published in:
FormaliSE (2014)
Keyphrases
</>
formal methods
probabilistic model
databases
computational model
high level
database systems
computational models
data mining
machine learning
object oriented
process model
black box
formal model