Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen

Martin Schweikert, Tobias Dornes, Hans Eveking. Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 209-218, OFFIS-Institut für Informatik, 2011.

Abstract

Abstract is missing.