A Model-Derivation Framework for Software Analysis.
Bugra M. YildizArend RensinkChristoph BockischMehmet AksitPublished in: MARS@ETAPS (2017)
Keyphrases
- user interface
- user model
- probabilistic model
- theoretical framework
- computational model
- formal model
- theoretical foundation
- context dependent
- conceptual model
- management system
- analysis tool
- computational framework
- prior knowledge
- conceptual framework
- open source
- modeling framework
- data sets
- decision model
- metamodel
- unified model
- colored petri nets
- mathematical model
- bayesian framework
- statistical model
- cost function
- artificial neural networks
- data analysis
- video sequences
- similarity measure
- high level
- genetic algorithm
- neural network