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. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 1519-1523, ACM, 2004. [doi]

Abstract

Abstract is missing.