Applying the B Method for the Rigorous Development of Task Management.
Danmin ChenZhiguo ChenPublished in: Control. Intell. Syst. (2014)
Keyphrases
- experimental evaluation
- synthetic data
- similarity measure
- objective function
- computationally efficient
- cost function
- high precision
- software engineering
- clustering method
- main contribution
- feature set
- evaluation method
- project management
- fully automatic
- classification method
- support vector machine svm
- decision support
- decision making
- high accuracy
- knn
- computational cost
- decision trees
- image processing