publicações selecionadas artigo académico Validating an Approach to Formalize Use Cases with Ontologies. Electronic Proceedings in Theoretical Computer Science. 2016