Data | Título | Autor(es) | Tipo | Acesso |
2012 | Analysing tactics in architectural patterns | Sanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Bigraphical modelling of architectural patterns | Sanchez, Alejandro; Barbosa, L. S.; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |
2011 | A language for behavioural modelling of architectural patterns | Sanchez, Alejandro; Barbosa, L. S.; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |
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 |
2013 | Verifying bigraphical models of architectural reconfigurations | Sanchez, Alejandro; Barbosa, L. S.; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |