Formal semantics of the unified modeling language Authors: Hong, Sa Neung; Mannino, Michael V. Journal: Decision Support Systems (1995) DOI: 10.1016/0167-9236(93)e0046-g View in Otero