VDMSL

Definition

VDMSL ist die semantische Sprache der Vienna Development Method, die zur formalen Spezifikation von Softwaresystemen verwendet wird.