Postup při práci s jass

pre- a postconditions u metod (vstupní a výstupní podmínky metod)

invarianty objektů - podmínky, které zůstávají pro objekt v platnosti mezi jednotlivými operacemi nad objektem

stažení a instalace balíku z http://csd.informatik.uni-oldenburg.de/~jass/

vytvoření zdrojového textu s příponou .jass, javovou syntaxí s použitím speciálních komentářových značek

takový zdrojový text je přeložitelný i normálním překladačem javac, ale v takovém případě ztrácíme možnosti jass

proto nejprve .jass souboru převedeme preprocesorem jass na javový (.java) soubor

ten již přeložíme javac a spustíme java, tedy jako každý jiný zdrojový soubor v Javě

z .jass zdrojů je možné vytvořit také dokumentaci API obsahující jass značky, tj. informace, co kde musí platit za podmínky atd. - vynikající možnost!