Objective: Identify a set of SCOOP examples that can be used throughout the development cycle and as examples in the EiffelStudio distribution.
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:
- Baboon Crossing
- Dining Philosophers
- Dining Savages
- Faneuil Hall
- Senate Bus
- Single Element Producer/Consumer