EIDE Tutorial

  1. Introduction to Electronic Institutions and the Electronic Institutions Development Environment (EIDE). [PDF]

  2. A gentle tutorial on Islander, the graphical specification tool of EIDE. [PDF]

  3. Solutions to the Islander tutorial. [PDF]

  4. Case study. Presentation describing an electricity market that we employ throughout the rest of the tutorial. [PDF]

  5. Introduction to programming agents in electronic institutions. [PDF]

  6. A gentle tutorial on programming agents in electronic institutions. [PDF]

  7. Solutions to the tutorial on programming agents in electronic institutions. [PDF]