This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications.

Agent Methodologies and Processes.- From Object-Oriented to Agent-Oriented Software Engineering Methodologies.- MASUP: An Agent-Oriented Modeling Process for Information Systems.- Composition of a New Process to Meet Agile Needs Using Method Engineering.- A Generative Approach for Multi-agent System Development.- Requirements Engineering and Software Architectures.- A Social-Driven Design of e-Business System.- Systematic Integration Between Requirements and Architecture.- Integrating Free-Flow Architectures with Role Models Based on Statecharts.- Aspectizing Multi-agent Systems: From Architecture to Implementation.- Modeling Languages.- CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment.- A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.- Specification of Role-Based Interactions Components in Multi-agent Systems.- The ANote Modeling Language for Agent-Oriented Specification.- Dependability and Coordination.- A Software Framework for Automated Negotiation.- Efficient Agent Communication in Multi-agent Systems.- Adaptive Access Control in Coordination-Based Mobile Agent Systems.- Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.