Design by Contract, som föreslås av Meyer för programmeringsspråket Eiffel, är en teknik som tillåter kör-tid kontroller av specifikationsbrott och deras behandling under programutförande. Jass, Java med påståenden, är en Design by Contract förlängning för Java som gör det möjligt att kommentera Java program med specifikationer i form av påståenden. Jass-verktyget är en förkompilator som översätter kommenterade till rena Java-program där överensstämmelse med specifikationen är dynamiskt testad. Förutom standard Design by Contract funktioner kända från klassisk programverifiering (t.ex. För- och efterförhållanden, invarianter), Jass stöder dessutom förfining, dvs. Undertypning, kontroller och det nya begreppet spårpåståenden. Spårpåståenden används för att övervaka objektens dynamiska beteende i tid.
JASS (Java with ASSertion) REF är en förkompilator som stöder booleska påståenden för Java.
Jass -- Java with Assertions
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}