publicações selecionadas
-
artigo de conferência
- Specifying UML protocol state machines in Alloy. Computational Methods in Applied Sciences. 2012
- Translating Alloy specifications to UML class diagrams annotated with OCL. Computational Methods in Applied Sciences. 2011
- Translating alloy apecifications to UML class diagrams annotated with OCL. Computational Methods in Applied Sciences. 2011
-
artigo de revista
- Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and Systems Modeling. 2015