|
|
This model contains two different projects, an early version of the digital watch model with incomplete functionality and a chess clocks model that reuses some of the digital watch model. Information about the statechart visualisation can be found in the Docs directory. Specifically, lectureT4 contains notes on the digital watch development, motivations and construction, and statechart.gif contains David Harel's original statechart that inspired the creation of the EM digital watch model. Instructions for running each of the model's can be found in the README file [Chris R]
| digitalwatchCartwright1995 is available locally within DCS at /dcs/emp/empublic/projects/digitalwatchCartwright1995 |
| Download digitalwatchCartwright1995.tar.gz Uncompressed, digitalwatchCartwright1995 is 380.4 Kbytes (in 24 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
README.xml |
1240 | 04:52 PM Dec 12 2003 | 09:51 AM Apr 02 2007 |
chess6.sde |
6220 | 11:10 AM Oct 19 1995 | 09:51 AM Apr 02 2007 |
chess_mech.hist |
837 | 12:00 PM Oct 31 1995 | 09:51 AM Apr 02 2007 |
d.output |
6945 | 03:34 PM Mar 04 1997 | 09:51 AM Apr 02 2007 |
demo.paper |
154 | 02:45 PM Dec 05 1995 | 09:51 AM Apr 02 2007 |
digwatch.e |
23987 | 07:21 PM Apr 12 1995 | 09:51 AM Apr 02 2007 |
digwatch.s |
49958 | 12:49 PM Oct 12 1995 | 09:51 AM Apr 02 2007 |
flag6.d |
2036 | 02:38 PM Oct 31 1995 | 09:51 AM Apr 02 2007 |
labels_new.d |
4486 | 03:07 PM Oct 23 1995 | 09:51 AM Apr 02 2007 |
move_buttons.hist |
1736 | 02:43 PM Dec 05 1995 | 09:51 AM Apr 02 2007 |
paper3.sde |
4336 | 04:06 PM May 20 1996 | 09:51 AM Apr 02 2007 |
run.chess |
89 | 02:31 PM Oct 31 1995 | 09:51 AM Apr 02 2007 |
run.digwatch |
115 | 02:19 PM Oct 12 1995 | 09:51 AM Apr 02 2007 |
s.output |
6518 | 03:34 PM Mar 04 1997 | 09:51 AM Apr 02 2007 |
scout.log |
6508 | 03:34 PM Mar 04 1997 | 09:51 AM Apr 02 2007 |
screen.digwatch |
152 | 01:25 PM Sep 30 1998 | 09:51 AM Apr 02 2007 |
screenshot.gif |
7690 | 05:08 PM Dec 12 2003 | 09:51 AM Apr 02 2007 |
tmp.hist |
2203 | 02:33 PM Dec 05 1995 | 09:51 AM Apr 02 2007 |
watch_d |
33 | 05:34 PM May 05 1998 | 09:51 AM Apr 02 2007 |
watchmech.e |
5058 | 12:45 PM Oct 02 1995 | 09:51 AM Apr 02 2007 |
Docs/ |
4096 | 05:21 PM Dec 12 2003 | 09:58 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
