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