Michelle L. Crane

According to our database, Michelle L. Crane authored at least 9 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

UML 2 Semantics Symposium: Formal Semantics for UML.

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic

CoRR, 2014

2009

Slicing UML's Three-layer Architecture: A Semantic Foundation for Behavioural Specification.

Michelle L. Crane

PhD thesis, 2009

Rendering UML Activity Diagrams as Human-Readable Text.

David W. Flater, Philippe Martin, Michelle L. Crane

Proceedings of the 2009 International Conference on Information & Knowledge Engineering, 2009

2008

Towards a Formal Account of a Foundational Subset for Executable UML Models.

Michelle L. Crane, Jürgen Dingel

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities.

Michelle L. Crane, Jürgen Dingel

Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008

2007

Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification.

Michelle L. Crane

Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, 2007

2006

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

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic

Proceedings of the Models in Software Engineering, 2006

2005

UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.

Michelle L. Crane, Jürgen Dingel

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2003

Runtime Conformance Checking of Objects Using Alloy.

Michelle L. Crane, Jürgen Dingel

Proceedings of the Third Workshop on Run-time Verification, 2003