Backwards reasoning for model transformations: Method and applications
We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges
We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges
Recent Comments