Aligning the Map Requirements Modelling with the B-method for Formal Software Development.
Abdul BabarVladimir TosicJohn PotterPublished in: APSEC (2007)
Keyphrases
- software development
- high accuracy
- experimental evaluation
- cost function
- synthetic data
- artificial intelligence
- similarity measure
- genetic algorithm
- computational cost
- preprocessing
- objective function
- dynamic programming
- evolutionary algorithm
- probabilistic model
- image sequences
- detection algorithm
- clustering method
- detection method
- real world