الجديد: تصريف الأفعال كل الأزمنه، صيغ المفرد والجمع للصفات والأسماء جميع الحالات؛ الرفع والجر والنصب والإضافة، البحث بجذر الكلمة لإيجاد صيغ الكلمات المختلفة
أمثلة
-
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.الشرط اللاحق هو شرط ضروري لصحة البرنامج.