A comparative study of two formal specification languages: Z-notation & B-method.
Arvinder KaurSamridhi GulatiSarita SinghPublished in: CCSEIT (2012)
Keyphrases
- high precision
- detection method
- preprocessing
- experimental evaluation
- synthetic data
- computational cost
- specification languages
- clustering method
- dynamic programming
- prior knowledge
- computational complexity
- information systems
- neural network
- cost function
- significant improvement
- query language
- high accuracy
- data sets