Michelle L. Crane

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Formal Semantics

Top Venues

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR (2014)
David Flater, Philippe Martin, Michelle L. Crane
Rendering UML Activity Diagrams as Human-Readable Text. IKE (2009)
Michelle L. Crane, Jürgen Dingel
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON (2008)
Michelle L. Crane, Jürgen Dingel
Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS (2008)
Michelle L. Crane
Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification. MoDELS (Doctoral Symposium) (2007)
Michelle L. Crane, Jürgen Dingel
UML vs. classical vs. rhapsody statecharts: not all models are created equal. Softw. Syst. Model. 6 (4) (2007)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS (Workshops) (2006)
Michelle L. Crane, Jürgen Dingel
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS (2005)
Michelle L. Crane, Jürgen Dingel
Runtime Conformance Checking of Objects Using Alloy. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)