publicações selecionadas
-
artigo de conferência
- Verifying bigraphical models of architectural reconfigurations 2013
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- Specifying UML protocol state machines in Alloy. Computational Methods in Applied Sciences. 2012
- A language for behavioural modelling of architectural patterns 2011
- 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