You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ferhaterata
changed the title
Relationship between Alloy and UML? (replied by prof. Danieal Jackson)
Relationship between Alloy and UML? (replied by prof. Daniel Jackson)
Mar 18, 2017
prof Daniel's reply to question
M. Richters, A precise approach to validating UML models and OCL constraints, Ph.D. Thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002
Cunha, Alcino, Ana Garis, and Daniel Riesco. "Translating between Alloy specifications and UML class diagrams annotated with OCL." Software & Systems Modeling 14, no. 1 (2015): 5-25.
He, Yujing. "Comparison of the Modeling Languages Alloy and UML." Software Engineering Research and Practice 2 (2006): 671-677.
The text was updated successfully, but these errors were encountered: