Suggested Statechart Readings

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 http://www.ilogix.com/ the I-Logix Web site and follow the link to Statemate. White Papers are offered here. You are asked to register before downloading these items.