Cited By
View all- (2016)Towards a formal model of patterns and pattern languagesInformation and Software Technology10.1016/j.infsof.2016.06.00279:C(1-16)Online publication date: 1-Nov-2016
- Hong Zhu Bayley I(2015)On the Composability of Design PatternsIEEE Transactions on Software Engineering10.1109/TSE.2015.244534141:11(1138-1152)Online publication date: 1-Nov-2015
- Calegari DSzasz N(2015)Institution-based foundations for verification in the context of model-driven engineeringScience of Computer Programming10.1016/j.scico.2015.02.006107:C(41-63)Online publication date: 1-Sep-2015
- Show More Cited By