publicações selecionadas artigo de revista Quantifying usability of domain-specific languages: An empirical study on software maintenance. Journal of Systems and Software. 2015 teses Automatic detection of architectural violations in evolutionary systems 2014