SCOOP-A6: Examples

From EiffelStudio: an EiffelSoftware project
Revision as of 16:01, 28 May 2010 by Halw (talk | contribs) (Created.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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
Retrieved from "https://dev.eiffel.com/index.php?title=SCOOP-A6:_Examples&oldid=13856"