7. AOSE 2006: Hakodate, Japan

Modelling and Design of Agent Systems

Modelling Open Agent Systems

Formal Reasoning About Designs

Testing, Debugging and Evolvability

a service of Schloss Dagstuhl - Leibniz Center for Informatics