publicações selecionadas
-
artigo académico
- A perspective on architectural re-engineering. International Journal on Software Tools for Technology Transfer. 2015
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
-
artigo de conferência
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. International Journal on Software Tools for Technology Transfer. 2014
- A language for behavioural modelling of architectural patterns 2011
-
documento
- Verifying bigraphical models of architectural reconfigurations 2013
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- Towards rigorous analysis of open source software 2011