Connecting Methodologies and Infrastructures in the Development of Agent Systems | IEEE Conference Publication | IEEE Xplore