publicações selecionadas
-
artigo académico
- Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and Systems Modeling. 2015
-
artigo de conferência
- Specifying UML protocol state machines in Alloy. International Journal on Software Tools for Technology Transfer. 2012
- Translating Alloy specifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011
-
documento
- Translating alloy apecifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011