A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.
Marwa ShoushaLionel C. BriandYvan LabichePublished in: IEEE Trans. Software Eng. (2012)
Keyphrases
- mathematical model
- statistical model
- probabilistic model
- cost function
- prior information
- test data
- theoretical analysis
- classification method
- reconstruction method
- similarity measure
- objective function
- prior knowledge
- evaluation method
- energy function
- bp neural network
- sensitivity analysis
- metamodel
- em algorithm
- gaussian distribution
- linear model
- segmentation method
- prediction model
- neural network
- probability distribution
- artificial intelligence
- software engineering
- support vector machine