Blewitt, A. (2006). HEDGEHOG: Automatic Verification of Design Patterns in Java (doctoral dissertation). University of Edinburgh, Edinburgh.
Gamma, E., Helm, R., Johnson, R., & Vlissides, J. (1994). Design Patterns: Elements of Reusable Object-Oriented Software. Boston: Addison-Wesley Professional.
Mehlitz, P. C., & Penix, J. (2003). Design for Verification Using Design Patterns to Build Reliable Systems. Proc. Work. on Component-Based Soft. Eng.
Metsker, S. J. (2004). Design Patterns in C# 1st Edition. Boston: Addison-Wesley Professional.
Nicholson, J., et al. (2014). Automated verification of design patterns: A case study. Science of Computer Programming, 80, 211-222. doi:10.1016/j.scico.2013.05.007
DOI: https://doi.org/10.1016/j.scico.2013.05.007
Singh Rao, R., & Gupta, M. (2013). Design Pattern Detection by Greedy Algorithm Using Inexact Graph Matching. International Journal Of Engineering And Computer Science, 2(10), 3658–3664.
Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., & Halkidis, S. T. (2006). Design Pattern Detection Using Similarity Scoring. IEEE Transactions on Software Engineering, 32(11), 896-908. doi:10.1109/TSE.2006.112
DOI: https://doi.org/10.1109/TSE.2006.112
Wojszczyk, R., & Khadzhynov, W. (2017). The Process of Verifying the Implementation of Design Patterns—Used Data Models. In L. Borzemski, A. Grzech, J. Świątek, & Z. Wilimowska (Eds), Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part I. Advances in Intelligent Systems and Computing (521, pp. 103–116). Cham: Springer.
DOI: https://doi.org/10.1007/978-3-319-46583-8_9
Wojszczyk R. (2018). The Experiment with Quality Assessment Method Based on Strategy Design Pattern Example. In: J. Świątek, L. Borzemski, & Z. Wilimowska (Eds.), Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017. ISAT 2017. Advances in Intelligent Systems and Computing (656, 103–112). Cham: Springer.
DOI: https://doi.org/10.1007/978-3-319-67229-8_10