Software Engineering for Multi-Agent Systems III

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.

The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination. Most of the papers were initially presented at the 3rd International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2004, held in Edinburgh, UK in May 2004 in association with ICSE 2004. Other papers were invited to complete coverage of all relevant aspects.

• agent architectures
• agent-oriented software engineering
• complexity
• distributed objects
• information system
• model checking
• modeling
• multi-agent system
• multi-agent systems
• multi-agent systems engineering
• object-oriented programming
• software architectures
• system development
• systems modeling
• verification

• SE-8, IME, Rio de Janeiro, Brazil

  Ricardo Choren

• Lancaster University, Lancaster, UK

  Alessandro Garcia

• Computer Science Department, Pontifical Catholic University of Rio de Janeiro, Brazil

  Carlos Lucena

• Computer Science School, Newcastle University, UK

  Alexander Romanovsky

Policies and ethics