Authors
David Harel, Amnon Naamad
Publication date
1996/10/1
Journal
ACM Transactions on Software Engineering and Methodology (TOSEM)
Volume
5
Issue
4
Pages
293-333
Publisher
ACM
Description
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.
Total citations
Scholar articles
D Harel, A Naamad - ACM Transactions on Software Engineering and …, 1996