( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
2nd UML 2 Semantics Symposium: Formal Semantics for UML

, , , , , и . (2007)
DOI: 10.1007/978-3-540-69489-2_39

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gudrun Craney

Maria Rita Cranen

Werner Craney

Ernst Craney

Michelle Walther

 

Другие публикации лиц с тем же именем

2nd UML 2 Semantics Symposium: Formal Semantics for UML, , , , , и . (2007)2nd UML 2 Semantics Symposium: Formal Semantics for UML, , , , , и . (2007)2nd UML 2 Semantics Symposium: Formal Semantics for UML., , , , , и . MoDELS (Workshops), том 4364 из Lecture Notes in Computer Science, стр. 318-323. Springer, (2006)Slicing UML's Three-layer Architecture: A Semantic Foundation for Behavioural Specification.. Queen's University at Kingston, Ontario, Canada, (2009)UML vs. classical vs. rhapsody statecharts: not all models are created equal, и . Software and Systems Modeling, 6 (4): 415--435 (декабря 2007)Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification.. MoDELS (Doctoral Symposium), том 262 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal., и . MoDELS, том 3713 из Lecture Notes in Computer Science, стр. 97-112. Springer, (2005)Runtime Conformance Checking of Objects Using Alloy., и . RV@CAV, том 89 из Electronic Notes in Theoretical Computer Science, стр. 2-21. Elsevier, (2003)Towards a Formal Account of a Foundational Subset for Executable UML Models., и . MoDELS, том 5301 из Lecture Notes in Computer Science, стр. 675-689. Springer, (2008)Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities., и . CASCON, стр. 8. IBM, (2008)