Jsizzle JAVA SYNTAX-specificatietaal met semantiek afgeleid van de Z Notatie
Download nu

Jsizzle Rangschikking & Samenvatting

Jsizzle Tags

taal specificatie syntaxis

Jsizzle Beschrijving

JSizzle (JAVA-specificaties in Z-taalextensie) is een afleiding van de Java-taal die de specificatie van softwaregedrag op een abstract niveau mogelijk maakt. Het doel van JSizzle is om een eenvoudige, haalbare inval van formele methoden te creëren in nieuwe delen van reguliere software engineering door zwaar te leunen op vertrouwdheid van syntaxis en gereedschappen. JSizzle is een grootformaathulpprogramma dat kan worden uitgevoerd op elk besturingssysteem dat wordt geleverd met Java-ondersteuning (b.v. Mac OS X, Windows, Linux).

Jsizzle Gerelateerde software