https://dev.eiffel.com/index.php?action=history&feed=atom&title=SCOOP-A6%3A_Examples 2026-06-01T22:22:28Z Revision history for this page on the wiki MediaWiki 1.24.1 https://dev.eiffel.com/index.php?title=SCOOP-A6:_Examples&diff=13856&oldid=prev 2010-05-28T16:01:22Z

<p>Created.</p> <p><b>New page</b></p><div>{{UnderConstruction}}<br /> [[Category:Concurrency_(SCOOP)]]<br /> Team: Hal<br /> <br /> Objective: Identify a set of SCOOP examples that can be used throughout the development cycle and as examples in the EiffelStudio distribution.<br /> <br /> First observations:<br /> <br /> 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:<br /> <br /> # Baboon Crossing<br /> # Barbershop<br /> # Counter<br /> # Dining Philosophers<br /> # Dining Savages<br /> # Faneuil Hall<br /> # Partree<br /> # Producer/Consumer<br /> # Senate Bus<br /> # Single Element Producer/Consumer</div>

Halw