A General Framework for Formalizing UML with Formal Languages.

William E. McUmber, Betty H. C. Cheng

Browse the full ICSE paper archive.