Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.
Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).
Andere resultaten
Checker: takes a specification (an assertion) and a program (a proof), and checks that the second conforms to the first (respectively establishes it).
Vérificateur : prend une spécification (une proposition) et un programme (une preuve), et vérifie que le second est conforme au premier (l'établit).
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.