CLAFERIG. ein Werkzeug zum Erstellen von praktikablen Clafer-Modellen.
Jetzt downloaden

CLAFERIG. Ranking & Zusammenfassung

CLAFERIG. Stichworte

Erstellen generieren Beispiel

CLAFERIG. Beschreibung

CLAFER-Instanzgenerator ist ein Werkzeug, das Instanzen und Zählerbeispiele für jedes Clafer-Modell erzeugen kann. Der Generator kann mehrere Instanzen erstellen, die es zum Debuggen von Modellen nutzt. Diese Anwendung soll Ihnen dabei helfen, korrekte Clafer-Modelle zu schreiben, während die Wechselwirkungen zwischen den im Modell enthaltenen Einschränkungen vermieden werden.

CLAFERIG. Zugehörige Software