UML 2.0 State Machines: Complete Formal Semantics Via core state machine
暂无分享,去创建一个
[1] Michelle L. Crane,et al. On the Semantics of UML State Machines: Categorization and Comparision , 2005 .
[2] Hongjun Lu,et al. Conceptual Modeling – ER 2004 , 2004, Lecture Notes in Computer Science.
[3] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.
[4] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[5] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[6] Yan Jin,et al. A method for describing the syntax and semantics of UML statecharts , 2004, Software & Systems Modeling.
[7] Egon Börger. Specification and validation methods , 1995 .
[8] Dave Thomas,et al. State Machines , 2002, IEEE Softw..
[9] Ian Graham,et al. 30 Things that Go Wrong in Object Modelling with UML 1.3 , 1999, Behavioral Specifications of Businesses and Systems.
[10] Huaikou Miao,et al. An Approach to Formalizing the Semantics of UML Statecharts , 2004, ER.
[11] Gianna Reggio,et al. Thirty one problems in the semantics of UML 1.3 dynamics , 1999 .
[12] Bernhard Rumpe,et al. Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.
[13] Willem P. de Roever,et al. 29 New Unclarities in the Semantics of UML 2.0 State Machines , 2005, ICFEM.