Methodologies and Software Engineering for Agent Systems