Part I: Modeling, specification, and validation: Specifying electronic societies with the causal calculator ; Modeling agents and their environment ; Validation of multiagent systems by symbolic model checking -- Part II: Patterns, architectures, and reuse: Patterns in agent-oriented software engineering ; Concurrent architecture for a multi-agent platform ; Re-use of interaction protocols for agent control applications ; Architecting for reuse: a software framework for automated negotiation ; Multi-agent and software architectures: a comparative case study -- Part III: UML and agent systems: Using UML state machine models for more precise and flexible JADE agent behaviors ; Generating machine processable representations of textual representations of AUML ; A UML profile for external agent-object-relationship (AOR) models ; Extending agent UML sequence diagrams -- Part IV: Methodologies and tools: The tropos software development methodology: processes, models and disgrams ; Prometheus: a methodology for developing intelligent agents ; Tool-supported process analysis and design for the development of multi-agent systems ; Assembling agent oriented software engineering methodologies from features -- Part V: Positions and perspectives: Agent-oriented software technologies: flaws and remedies

1. Software engineering -- Congresses
2. Intelligent agents (Computer software) -- Congresses