Siyuan Hu

Towards Transformation from UML to Event-B

2015

UML is one of the most widely used modeling languages for software development. It provides unique metamodels to describe systems in the form of graphics, which makes the whole modeling process visual and easy to …