des Studienerfolgs?
7
0
0
Texto
Documentos relacionados
In this work, the translation of class diagrams to Alloy models can be used to define transformations by reasoning about UML model elements on Alloy’s semantics.. After providing
