%0 Generic %1 sengupta_99_semantics %A Sengupta, Bikram %D 1999 %K semantics statecharts statemate 1999 _to_review %T On the Semantics of Statecharts %U http://citeseer.ist.psu.edu/315556.html %X Statecharts is a highly structured and economical description language for specifying the behavior of reactive systems. The denition of the formal semantics of statecharts has proved to be extremely challenging due to the richness of the language, and the fact that it is a visual language. In this report we will review some of the approaches that have been made to precisely dene the meaning of statecharts, and we will discuss the advantages and drawbacks of each approach. We will also...

@misc{sengupta_99_semantics, abstract = {Statecharts is a highly structured and economical description language for specifying the behavior of reactive systems. The denition of the formal semantics of statecharts has proved to be extremely challenging due to the richness of the language, and the fact that it is a visual language. In this report we will review some of the approaches that have been made to precisely dene the meaning of statecharts, and we will discuss the advantages and drawbacks of each approach. We will also...}, added-at = {2009-02-12T11:45:21.000+0100}, author = {Sengupta, Bikram}, biburl = {https://www.bibsonomy.org/bibtex/22a946c8314b427791ab18426c398ee91/leonardo}, citeulike-article-id = {744391}, interhash = {db7c86503aa9c07161b3d4b3cc142228}, intrahash = {2a946c8314b427791ab18426c398ee91}, keywords = {semantics statecharts statemate 1999 _to_review}, posted-at = {2006-07-07 01:54:09}, priority = {2}, timestamp = {2009-02-12T11:45:21.000+0100}, title = {On the Semantics of Statecharts}, url = {http://citeseer.ist.psu.edu/315556.html}, year = 1999 }