Formal Method to Analyze Design Workflows in Software Development.
Nikolay VoitSemen BochkovPublished in: ICCSA (9) (2021)
Keyphrases
- software development
- classification method
- high accuracy
- similarity measure
- synthetic data
- significant improvement
- experimental evaluation
- detection method
- data sets
- software engineering
- probabilistic model
- formal methods
- high precision
- clustering method
- edge detection
- cost function
- k means
- multiscale
- case study
- information systems
- learning algorithm