Publications about GDT

  1. methodology
  2. The preliminary SPACE model
  3. Goal Decomposition Trees
    1. Behaviour Model
    2. Proof process
    3. Implementation Model
    4. Foundations
  4. GDT4MAS and Recursive/Holonic Agents
    1. Specifying and Verifying Holonic Agents with GDT4MAS, B. Mermet and G. Simon, IJAOSE, 20 pages, to appear (Case study)

Contact: Bruno Mermet