Author of the publication

2nd UML 2 Semantics Symposium: Formal Semantics for UML.

, , , , , and . MoDELS (Workshops), volume 4364 of Lecture Notes in Computer Science, page 318-323. Springer, (2006)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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