New: Verb conjugations - all tenses, all adjective , plural forms; accusative, dative and genitive, optimized search with word stem.
les exemples
-
Die Nachbedingung muss nach dem Programmablauf erfüllt sein.يجب أن يتم تحقيق الشرط اللاحق بعد تنفيذ البرنامج.
-
Falls die Nachbedingung nicht erfüllt ist, tritt ein Fehler auf.إذا لم يتم تحقيق الشرط اللاحق، سيحدث خطأ.
-
Die Nachbedingung wird zur Verifikation des Programmcodes verwendet.يتم استخدام الشرط اللاحق للتحقق من صحة كود البرنامج.
-
Eine korrekte Nachbedingung garantiert die korrekte Ausführung des Programms.الشرط اللاحق الصحيح يضمن التنفيذ الصحيح للبرنامج.
-
Die Nachbedingung ist eine notwendige Voraussetzung für die Programmvalidierung.الشرط اللاحق هو شرط ضروري لصحة البرنامج.