Ontology-based transformation and verification of uml class model.
Abdul Hafeez KhanSyed Ali AbbasAqeel-ur RehmanPublished in: Int. Arab J. Inf. Technol. (2020)
Keyphrases
- computational model
- management system
- probabilistic model
- metamodel
- linear model
- prior knowledge
- formal model
- parameter estimation
- formal methods
- experimental data
- statistical model
- mathematical model
- software systems
- artificial intelligence
- theoretical analysis
- object oriented
- probability distribution
- high level
- case study