A framework to simulate UML models: moving from a semi-formal to a formal environment.

Alessandra Cavarra Elvinia Riccobene Patrizia Scandurra A framework to simulate UML models: moving from a semi-formal to a formal environment. 1519-1523 2004 conf/sac/2004 SAC http://doi.acm.org/10.1145/967900.968204 db/conf/sac/sac2004.html#CavarraRS04