A comparison of three agent-oriented software development methodologies: MaSE, Gaia, and Tropos | IEEE Conference Publication | IEEE Xplore