The assigned reading for this segment is three on-line documents. The first
is an fairly informal slide presentation by Douglass from i-Logic. The
second is a published paper by Harel, and the last is chapter 2 of a
thesis by Nancy Day.
Finally, there is a technically detailed paper by Harel & Naamad
that was published in the ACM Trans. on Software Eng. & Methodology.
We perhaps will get to a little of the content of that paper. It is also
available over the Web, but only through the Library's electronic
subscription. It can be accessed
here in PDF form, but only from a UI machine.
Further reading on statecharts is available on-line. Go to