Automatic analysis of requirements consistency with the B method.
Thiago C. de SousaJorge R. Almeida Jr.Sidney VianaJudith PavónPublished in: ACM SIGSOFT Softw. Eng. Notes (2010)
Keyphrases
- automatic analysis
- main contribution
- detection method
- segmentation method
- preprocessing
- pairwise
- significant improvement
- high accuracy
- detection algorithm
- high precision
- prior knowledge
- experimental evaluation
- computational cost
- optimization algorithm
- classification method
- fully automatic
- knn
- theoretical analysis
- input data
- neural network
- dynamic programming
- cost function
- evolutionary algorithm
- training data
- decision trees