Translation of UML Models for Self-adaptive Systems into Event-B Specifications.

Marwa Hachicha Riadh Ben Halima Ahmed Hadj Kacem

Published in: ISDA (2) (2018)

Keyphrases

uml models
written in natural language
object oriented
knowledge based systems
data sets
information systems
distributed systems
image classification
databases
high level
relational databases
error rate
finite state machines