Login / Signup
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER.
Leila Jemni Ben Ayed
Mohamed Nidhal Jelassi
Published in:
MSVVEIS (2009)
Keyphrases
</>
inference engine
expert systems
rule base
metamodel
knowledge base
knowledge based systems
pattern recognition
knowledge representation
uml models
artificial intelligence
software systems