The document provides an overview of several agent-oriented software engineering methodologies, including GAIA, INGENIAS, MaSE, PASSI, Prometheus, Tropos, and ADEM. It discusses the concepts and properties supported by each methodology, their modeling approaches and notations, development lifecycles, and their pragmatic considerations in terms of available resources and tooling. The methodologies generally support common multi-agent concepts but provide different levels of guidance, modeling support, and tooling throughout the development process.