NEU: Verb Konjugationen - alle Zeitformen, Adjektivdeklination, Pluralformen; Akkusativ, Dativ und Genitiv, optimierte Suche mit Wortstamm.
Textbeispiele
-
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.الشرط اللاحق هو شرط ضروري لصحة البرنامج.