Using Jason to Develop Refactoring Agents | IEEE Conference Publication | IEEE Xplore