alloy

Alloy von MIT ist eine deklarative Spezifikationssprache zum Ausdrücken komplexer struktureller Einschränkungen und Verhaltensweisen in einem Softwaresystem und ein Werkzeug zum Erforschen und Überprüfen von Eigenschaften der resultierenden Strukturen.
5
Antworten

Haben Sie ein Objekt in der einen oder anderen Gruppe, aber nicht beides?

Das sind Hausaufgaben und ich habe viel Ärger damit. Ich verwende Legierung , um eine Bibliothek zu modellieren. Hier sind die Definitionen der Objekte: %Vor% Dann müssen wir eine Tatsache haben, die besagt, dass jedes Buch entweder im Rega...
17.09.2011, 00:49