D. Harel and M. Polity. Modelling Reactive Systems with Statecharts: the Statemate Approach. i-Logix, Inc, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards efficient model checking Statecharts: - Statecharts To Promela Self-citation (Harel) (Correct)
No context found.
D. Harel and M. Polity. Modelling Reactive Systems with Statecharts: the Statemate Approach. i-Logix, Inc, 1996.
Towards efficient model checking Statecharts: A.. - Mikk, Lakhnech, Siegel Self-citation (Harel) (Correct)
....Statecharts has been supported by the commercial Statemate tool for about 12 years now. There, statecharts are used to describe the behavior of the system and are complemented with other languages for describing the system architecture and functionality (behavioral, structural and functional view [HP96]. Statemate supports simulation of statecharts specifications, provides a so called dynamic test tool for checking safety properties and code generation facilities from specifications. The semantics of statecharts as implemented in Statemate is described in [HN] Our research deals with this ....
D. Harel and M. Polity. Modelling Reactive Systems with Statecharts: the Statemate Approach. i-Logix, Inc, 1996.
Considering Durative Activities in the Software Process - Augusto, Acuña.. (2002) (Correct)
No context found.
D. Harel and M. Politi, Modelling Reactive Systems with Statecharts: The Statemate Approach. (McGraw-Hill, 1998).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC