Travelled to:1 × France
1 × Jamaica
Collaborated with:J.Dingel
Talks about:model (2) uml (2) statechart (1) rhapsodi (1) foundat (1) classic (1) account (1) toward (1) subset (1) formal (1)
Person: Michelle L. Crane
DBLP: Crane:Michelle_L=
Contributed to:
20082005Wrote 2 papers:
- MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml
- Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
- MoDELS-2005-CraneD #modelling #uml
- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.