Report - MSpec Eine Technik zur textuellen Modellierung und ... · PDF filebeschreiben Harel und Maoz ihre Anpassung der Operatoren assert und negate , die im UML 2.0 Standard neu hinzukamen,

Please pass captcha verification before submit form