Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2012 | Specifying UML protocol state machines in Alloy | Garis, Ana; Paiva, Ana; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Translating alloy apecifications to UML class diagrams annotated with OCL | Garis, Ana; Cunha, Alcino; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |
2011 | Translating Alloy Specifications to UML Class Diagrams Annotated with OCL | Riesco, Daniel; Cunha, Alcino; Garis, Ana | Artigo em ata de conferência | Acesso aberto |
2015 | Translating between Alloy specifications and UML class diagrams annotated with OCL | Cunha, Alcino; Garis, Ana; Riesco, Daniel | Artigo | Acesso aberto |