التحقق من الصحة, منهجيات البرمجة, هندسة البرمجيات, هياكل البياناتالبرمجة القائمة على الثوابت (Invariant-based Programming)
إعادة استخدام البرمجيات, تطوير البرمجيات, هندسة البرمجيات, هندسة المجالهندسة المجال (Domain Engineering)