[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - Two paradigms of compositionMcNeile, Ashley · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - Collaboration patterns in the SOA ecosystemPoulin, Michael · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - Enriching Java Enterprise interfaces with formal sequential contractsMüller, Marco; Balz, Moritz; Goedicke, Michael · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - Action semantics for defining dynamic semantics of modeling languagesStuurman, Gijs; Kurtev, Ivan · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - Identifying state space reduction techniques from behavioural design patternsRahim, Lukman Ab.; Whittle, Jon · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - An executable and changeable reference model for the health insurance industryVerheul, Jaco; Roubtsova, Ella · 2011

[ACM Press the Third Workshop - Birmingham, United Kingdom (2011.06.06-2011.06.06)] Proceedings of the Third Workshop on Behavioural Modelling - BM-FA '11 - An approach for describing concurrency and communication of heterogeneous systemsDiallo, Papa Issa; Champeau, Joël; Leilde, Vincent · 2011

[IEEE 2012 35th Annual IEEE Software Engineering Workshop (SEW) - Heraclion, Crete, Greece (2012.10.12-2012.10.13)] 2012 35th Annual IEEE Software Engineering Workshop - Analysing Tactics in Architectural PatternsSanchez, Alejandro; Aguiar, Ademar; Barbosa, Luis S.; Riesco, Daniel · 2012

AIP Conference Proceedings [AIP Publishing LLC PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014) - Rhodes, Greece (22–28 September 2014)] - Specifying structural constraints of architectural patterns in the ARCHERY languageSanchez, Alejandro; Barbosa, Luis S.; Riesco, Daniel · 2015