Francisco Cunha, Marx Viana, Márcio Rosemberg, and Carlos Lucena. 2015. Verifying the behavior of agents in BDI4JADE with AspectJ. In Anais do IX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, junho 01, 2015, Niterói/RJ, Brasil. SBC, Porto Alegre, Brasil, 227-232. DOI: https://doi.org/10.5753/wesaac.2015.33334.