The following additional resources may be useful background for your paper writing and model building for WEB-EM-7 and subsequently for your exam revision. You are not required to be familiar with all this material, but it may be of interest as a source of ideas and technical insights.

• Web-EDEN: Richard Myers's web-based EDEN prototype can be accessed at go.warwick.ac.uk/webeden

• Miscellaneous EM models: Here are some links to models - and model documentation in the form of posters and presentations - that have been discussed in previous years:
  • a showcase of models demonstrated in CS405 in 2005-6
  • a showcase of models and posters demonstrated at an EU event in July 2005: kaleidoscopeBeynon2005
  • models relating to educational themes:
    • interactive geometry: cogRoe1999
    • illustrating "cognitive layering": racingGardner1999
    • the SQL-EDDI environment as introduced in the presentation at sqleddiWard2003/Presentation
    • educational software for elementary mathematics: fractionsCronick2003
  • models relating to decision-support for business:
    • a model for timetabling third-year project orals: projecttimetableKeen2000
    • re-engineering a system to support elevator design: sisyphusNess1996
    • models for restaurant management: restaurantRoe2000 and restaurantHutchings2005
    • simulation of warehouse activity: warehouseChen2001
    • a visualisation tool based on the work of Bob Spence: attributeexplorerRoe2000
  Some of these relate quite closely to themes proposed for WEB-EM-04.

• The EM presentation environment Antony Harfield's EM presentation environment can be found at empeHarfield2007. The model graphicspresHarfield2007 illustrates how it can be used.

• References: Key sections of several papers have been cited in the module. The following links may be useful if you wish to explore these papers further (though their content is not otherwise necessarily as topical for CS405):
  • Michael Jackson What Can We Expect From Program Verification? IEEE Computer, Volume 39 Number 10, pages 53-59, October 2006.
  • David Harel On Visual Formalisms Communications of the ACM, Vol. 31(5), May 1988, 514-530
  • Frederick P Brooks No Silver Bullet -- Essence and Accident in Software Engineering IEEE Computer 1987
  • Jürgen Lind Issues in Agent-Oriented Software Engineering Agent-oriented Software Engineering, LNCS Volume 1957/2001, 93-98
  • John McCarthy Ascribing Mental Qualities To Machines in Logic-based Artificial Intelligence (ed.John Minker) Kluwer International Series In Engineering And Computer Science; Vol. 597, 2000, 37-56