COREASMM. -Programm konzentrierte sich auf das Design einer mageren ausführbaren ASM
Jetzt downloaden

COREASMM. Ranking & Zusammenfassung

COREASMM. Stichworte

Entwurf Designer design asm. ASM-Designer ASM-Sprache. Asm

COREASMM. Beschreibung

Das Programm konzentrierte sich auf das Design einer mann ausführbaren ASM COREASMM konzentriert sich auf das Design einer mageren ausführbaren ASM-Sprache (abstrakte Staatmaschinen), in Kombination mit einem unterstützenden Werkzeugumfeld für hochrangige Design, experimentelle Validierung und formale Überprüfung abstrakter Systemmodelle. Was ist neu in dieser Version: · Chooserule-Plugin: Die Neubewertung von Auswahlvorschriften ohne Bedingung würde einen zwischengespeicherten Wert der Domäne verwenden. Das ist jetzt behoben. · Listen-Plugin: Die Funktion von CONS (E, L) funktionierte nicht ordnungsgemäß. Das ist jetzt behoben. · Setzen Sie Plugin: Set 'Subset' -Operation fehlte. Ich habe dieses einen Fehler angesehen! :-) In dieser Version wird eine "Teilmenge" hinzugefügt. · Einige Fehlermeldungen in der Auswahl, Vorallruhe- und predikatelogischen Plugins werden verbessert.

COREASMM. Zugehörige Software