Describing Software Specification by Combining SysML with the B Method.
Satoko KinoshitaHidekazu NishimuraHiroki TakamuraDaichi MizuguchiPublished in: ISSRE Workshops (2014)
Keyphrases
- high accuracy
- high precision
- detection method
- experimental evaluation
- computational cost
- neural network
- data sets
- synthetic data
- similarity measure
- prior knowledge
- optimization algorithm
- optimization method
- theoretical analysis
- computationally efficient
- software development
- support vector machine
- dynamic programming
- cost function
- significant improvement