135 search results - page 16 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
104
click to vote
ENTCS
2008
15 years 1 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
108
click to vote
JDCTA
2010
14 years 8 months ago
2010
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
ESE
2000
15 years 1 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
112
click to vote
KES
2007
Springer
15 years 7 months ago
2007
Springer
This multidisciplinary study focuses on the application and comparison of several topology preserving mapping models upgraded with some classifier ensemble and boosting techniques ...
111
click to vote
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...