Login / Signup
Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications.
Georg Kösters
Hans-Werner Six
Mario Winter
Published in:
Requir. Eng. (2001)
Keyphrases
</>
probabilistic model
statistical models
model validation
experimental data
model checking
potential functions
formal verification
database
learning algorithm
model selection
machine learning algorithms
mathematical models