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 |
Fev-2015 | Modelling and verifying smell-free architectures with the Archery language | Sanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite Castro | Artigo em ata de conferência | Acesso restrito UMinho |
2015 | On the verification of architectural reconfigurations | Sanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo | Acesso restrito UMinho |
Fev-2015 | A perspective on architectural re-engineering | Barbosa, L. S.; Sanchez, Alejandro; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
2011 | Towards rigorous analysis of open source software | Barbosa, L. S.; Henriques, Pedro Rangel; Sanchez, Alejandro | Artigo em ata de conferência | Acesso aberto |
2013 | Verifying bigraphical models of architectural reconfigurations | Sanchez, Alejandro; Barbosa, L. S.; Riesco, Daniel | Artigo em ata de conferência | Acesso aberto |