A Formal Method for the Systematic Reuse of Specification Components.
Rolf HennickerMartin WirsingPublished in: Methods of Programming (1991)
Keyphrases
- experimental evaluation
- similarity measure
- mutual information
- preprocessing
- high precision
- pairwise
- detection method
- high accuracy
- clustering method
- training data
- optimization method
- prior knowledge
- synthetic data
- support vector machine
- formal methods
- neural network
- learning objects
- classification accuracy
- computational cost
- significant improvement
- evolutionary algorithm
- objective function