From an abstract specification in event-b toward an UML/OCL model.

Imen Sayar Mohamed Tahar Bhiri

Published in: FormaliSE (2014)

Keyphrases

metamodel
probabilistic model
computational model
mathematical model
high level
management system
web services
database systems
objective function
conceptual model
specification language
dependency graph