Simplification and Verification of Software and Data Structure Models in the Engineering Domain.
Muzaffar IgamberdievGeorg GrossmannMarkus StumptnerPublished in: ASWEC (2015)
Keyphrases
- data structure
- domain models
- software maintenance
- computational models
- statistical models
- software engineering
- software development
- model selection
- frequent patterns
- software systems
- data sets
- open source
- probabilistic model
- artificial intelligence
- prior knowledge
- complex systems
- artificial neural networks
- computer science
- software tools
- multidimensional data
- formal verification
- machine learning