Personensuche
X
?
Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches ,
6
EMFtoCSP : a tool for the lightweight verification of EM..:
, In:
?
Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems ,
7
On verifying ATL transformations using 'off-the-shelf' SMT ..:
, In:
?
Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science ,
8
On Verifying ATL Transformations Using 'off-the-shelf' SMT ..:
, In:
?
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation ,
10
On validation of ATL transformation rules by transformation..:
, In:
?
Models in Software Engineering; Lecture Notes in Computer Science ,
11
On Better Understanding OCL Collections or An OCL Ordered S..:
, In:
?
Proceedings of the 2009 international conference on Models in Software Engineering ,
14