Design by Contract Deontic Design Language for Multiagent Systems

Christophe Garion, Leendert van der Torre. Design by Contract Deontic Design Language for Multiagent Systems. In Olivier Boissier, Julian A. Padget, Virginia Dignum, Gabriela Lindemann, Eric T. Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda, editors, Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht,. Volume 3913 of Lecture Notes in Computer Science, pages 170-182, Springer, 2005. [doi]

Abstract

Abstract is missing.