VeriTech: a framework for translating among model description notations.
Orna GrumbergShmuel KatzPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- probabilistic model
- conceptual model
- computational model
- unified model
- high level
- cost function
- graphical models
- theoretical framework
- semantic description
- data sets
- logical framework
- conceptual framework
- formal model
- experimental data
- statistical model
- management system
- main contribution
- mathematical model
- input data
- hidden markov models
- objective function
- metamodel
- search engine
- learning scheme
- genetic algorithm
- generic model
- data mining
- neural network