publicações selecionadas
-
artigo académico
- Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and Systems Modeling. 2015
-
artigo de conferência
- Specifying UML protocol state machines in Alloy. International Journal on Software Tools for Technology Transfer. 2012
- A language for behavioural modelling of architectural patterns 2011
- Translating Alloy specifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011
-
documento
- Verifying bigraphical models of architectural reconfigurations 2013
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- Translating alloy apecifications to UML class diagrams annotated with OCL. International Journal on Software Tools for Technology Transfer. 2011