Efficient Algorithms for Verification of UML Statechart Models.

Chikmagalur Manjappa Prashanth K. Chandrashekar Shet

Published in: J. Softw. (2009)

Keyphrases

metamodel
prior knowledge
object oriented
uml models
databases
neural network
knowledge base
probabilistic model
software engineering
software development
parameter estimation
software systems
experimental data
parametric models
verification method