BHive: Towards Behaviour-Driven Development Supported by B-Method.
John D. CarterWilliam B. GardnerPublished in: IRI (2016)
Keyphrases
- pairwise
- cost function
- fully automatic
- high precision
- synthetic data
- error rate
- high accuracy
- computational cost
- experimental study
- theoretical analysis
- software engineering
- machine learning
- experimental evaluation
- dynamic programming
- preprocessing
- mutual information
- design process
- prior knowledge
- computational complexity
- image processing
- computer vision