Die Erfüllung dieser Verträge kann dann durch formale Verifikation, Generierung von Testfällen oder Laufzeitüberwachung sichergestellt werden.
Im Webinar werden zunächst typische Problemstellungen und die Methode des Contract-based Designs vorgestellt. Anschließend werden verschiedene Werkzeuge vorgestellt, mit denen der vertragsbasierte Entwurf in der Praxis umgesetzt werden kann.
Das Webinar wird in englischer Sprache abgehalten.