Maude 3.3 (beta) nettopp tilgjengelig for OO modellering_澳门葡京手机版app下载

peterol
2023-03-14T10:06:38.386Z
type:structured-message
www.uio.no

Utrolig timing! Maude 3.3 (beta) som st?tter opp om objekt-orientert syntaks, ble tilgjengelig forrige uke. Blir veldig mye bedre uten Full Maude. Jeg modifiserer og sjekker mine tidligere modeller, med det ser bra ut. Last ned fra https://github.com/SRI-CSL/Maude/releases/tag/Maude3.3beta . Noen modeller med Maude 3.3 OO syntaks som gjennomg?s p? dagens (14.3) forelesning: phil-maude33-public.maude, full-blackjack-rules-maude33.maude og extended-population-maude33.maude.