Stem rhapsodi$ (all stems)
3 papers:
- MoDELS-2005-CraneD #modelling #uml
- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal (MLC, JD), pp. 97–112.
- SEFM-2004-SchinzTMW #uml #verification
- The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.
- IFM-2002-GeryHP #development #lifecycle #modelling #named
- Rhapsody: A Complete Life-Cycle Model-Based Development System (EG, DH, EP), pp. 1–10.