%0 Generic %1 dominguez_00_way %A Dom'inguez, Eladio %A 'Angel Rubio, %A Zapata, Mar'ia %D 2000 %K statecharts _no_doi software_architecture uml 2000 %T A Way of Dealing with Behaviour of State Machines %U http://citeseer.ist.psu.edu/495290.html %X State Machines is one of the artifacts used in the UML in order to represent dynamic behaviour. The need for a precise definition of the several artifacts of the UML (in particular State Machines) is widely accepted. With regard to this, in the paper we point out the need of establishing a clear distinction between a user-oriented precise definition and a machine-oriented precise definition. We claim also that, previous to the definition of any `precise State Machines' (for instance,...

@misc{dominguez_00_way, abstract = {State Machines is one of the artifacts used in the UML in order to represent dynamic behaviour. The need for a precise definition of the several artifacts of the UML (in particular State Machines) is widely accepted. With regard to this, in the paper we point out the need of establishing a clear distinction between a user-oriented precise definition and a machine-oriented precise definition. We claim also that, previous to the definition of any `precise State Machines' (for instance,...}, added-at = {2009-02-12T00:09:04.000+0100}, author = {Dom'{i}nguez, Eladio and '{A}ngel Rubio and Zapata, Mar'{i}a}, biburl = {https://www.bibsonomy.org/bibtex/29519f563e096b781f994d017f2604d72/leonardo}, citeulike-article-id = {2316475}, interhash = {d3a11297bce83c36bea3cc43460ea945}, intrahash = {9519f563e096b781f994d017f2604d72}, keywords = {statecharts _no_doi software_architecture uml 2000}, posted-at = {2008-01-31 21:42:09}, priority = {2}, timestamp = {2009-02-12T00:09:04.000+0100}, title = {A Way of Dealing with Behaviour of State Machines}, url = {http://citeseer.ist.psu.edu/495290.html}, year = 2000 }