Coreasm Programma gericht op het ontwerp van een Lean-uitvoerbare ASM
Download nu

Coreasm Rangschikking & Samenvatting

Coreasm Tags

ontwerp ontwerper ontwerp ASM ASM-ontwerper ASM-taal ASM

Coreasm Beschrijving

Programma gericht op het ontwerp van een Lean-uitvoerbare ASM Coreasm richt zich op het ontwerp van een Lean-uitvoerbare ASM-taal (Abstracte State Machines), in combinatie met een ondersteunende gereedschapsomgeving voor ontwerp op hoog niveau, experimentele validatie en formele verificatie van abstracte systeemmodellen. Wat is er nieuw in deze release: · Chooserule Plugin: opnieuw evalueren van kies voor regels zonder voorwaarde zou een cache-waarde van het domein gebruiken. Dit is nu opgelost. · Lijst plug-in: CONS (E, L) Functie werkte niet goed. Dit is nu opgelost. · Stel plug-in in: Set 'Subset' bewerking ontbrak. Ik heb dit een bug beschouwd! :-) Er wordt in deze release een 'subset' uitgevoerd. · Enkele foutmeldingen in Chooserule, Forallrule en Predicatelogic-plug-ins zijn verbeterd.

Coreasm Gerelateerde software