TY - RPRT TI - Towards a Formalization of the Unified Modeling Language AU - Ruth Breu AU - Ursula Hinkel AU - Christoph Hofmann AU - Cornel Klein AU - Barbara Paech AU - Bernhard Rumpe AU - V. Thurner PY - 2014 DO - 10.1007/bfb0053386 UR - https://arxiv.org/abs/1409.7234 ID - 1409.7234 ER -