Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
Ismaïl MendilYamine Aït AmeurNeeraj Kumar SinghDominique MéryPhilippe A. PalanquePublished in: SETTA (2021)
Keyphrases
- domain knowledge
- probabilistic model
- computational models
- underlying assumptions
- formal models
- domain theory
- statistical models
- design process
- software architecture
- machine learning
- model selection
- case study
- modelling language
- complex systems
- experimental data
- metamodel
- classification models
- engineering design
- mathematical models
- design decisions
- domain models
- modeling tool
- decision trees