Chapter 4, written by Bernhard Bauer and Jörg Müller, presents a detailed analysis of the various different methodologies and notations that have been developed for the design of agent-based systems. It provides a review of the salient techniques, many of which are now mature, and some in regular use.