A Method Based on Meta-model for the Translation from UML into Event-B.

Weixuan Sun Hong Zhang Chao Feng Yangzhen Fu

Published in: QRS Companion (2016)

Keyphrases

metamodel
high accuracy
clustering method
significant improvement
reference model
objective function
databases
information systems
case study
training data
preprocessing
support vector machine
open source
detection method
software systems
model driven