Correct-by-construction model composition: Application to the Invasive Software Composition method.
Mounira Kezadri HamiazMarc PantelBenoît CombemaleXavier ThiriouxPublished in: FESCA (2014)
Keyphrases
- mathematical model
- probabilistic model
- statistical model
- objective function
- sensitivity analysis
- modeling method
- cost function
- input data
- parameter estimation
- prediction model
- optimization model
- theoretical analysis
- monte carlo simulation
- markov model
- study proposes
- similarity measure
- prior knowledge
- preprocessing
- energy function
- detection method
- reconstruction method
- tree structure
- probability distribution
- regression analysis
- closed form
- optimization method
- evaluation method
- autoregressive
- hybrid model
- generation method
- gaussian distribution
- test data
- classification algorithm
- high accuracy
- software engineering
- significant improvement
- network model
- linear model
- linear regression
- hybrid method
- segmentation method
- evaluation model
- support vector machine