SCOOP-A6: Examples

Construction.png Not Ready for Review: This Page is Under Development!

Team: Hal

Objective: Identify a set of SCOOP examples that can be used throughout the development cycle and as examples in the EiffelStudio distribution.

First observations:

A number of examples have been created in an ETHZ project: SCOOP in Practice. The Eiffel Verification Environment (EVE) project includes some of the SCOOP in Practice examples, plus others. Currently the EVE project shows source code for the following examples:

  1. Baboon Crossing
  2. Barbershop
  3. Counter
  4. Dining Philosophers
  5. Dining Savages
  6. Faneuil Hall
  7. Partree
  8. Producer/Consumer
  9. Senate Bus
  10. Single Element Producer/Consumer