Automated transformations from UML behavior models to contracts.

Dan Li Xiaoshan Li Zhiming Liu Volker Stolz

Published in: Sci. China Inf. Sci. (2014)

Keyphrases

metamodel
artificial intelligence
statistical models
information systems
multi agent
probabilistic model
physical systems
neural network
decision making
software development
model selection
fully automated
semi automated
uml models