Describes how the business analyst can perform correctness of a proposed solution, how to support the implementation of a solution, and how to assess possible shortcomings in the implementation. تقييم الحل والتحقق من فعاليّته ويصف كيف يمكن لمحلل الأعمال التحقق من فعاليّة الحل المقترح، وكيفية دعم تنفيذ الحل، وكيفية تقييم أوجه القصور المحتملة في التنفيذ.
Correctness may be based on logical projections, may be contextual, or arrived at through basic knowledge, conjecture, inference, projection, creation, intuition, or imagination. يمكن أن تعتمد الصحة على العروض المنطقية، ويمكن أن تعتمد على السياق، أو يمكن أن تصل إلى المعارف الأساسية الشاملة، أو الحدس أو الاستنتاج أو العرض أو الخلق أو البديهة أو التخيل.
In 2007, Sylvain Conchon and Jean-Christophe Filliâtre developed a persistent version of the disjoint-set forest data structure, allowing previous versions of the structure to be efficiently retained, and formalized its correctness using the proof assistant Coq. في عام 2007 قام سلفيان كونكون و و جين كريستوف فليتر طور نسخة متكررة من هيكلة المجموعة المنفصلة بحيث يسمح للهيكل السابق بالحفاظ على كفائته بستخدام اثبات مساعد كوك
Fine engraving and delicate artwork would have rendered the prints too expensive for the intended audience, and Hogarth also believed a bold stroke could portray the passions of the subjects just as well as fine lines, noting that "neither great correctness of drawing or fine engraving were at all necessary". كانت ستسبب النقوش الفاخرة والأعمال الفنية الدقيقة أن تكون اللوحات مُكلِّفة للجمهور المعني بها، ويؤمن هوغارث أيضًا أن الجُهد القويّ يستطيع تصوير المشاعر المتعلقة بالموضوعات تمامًا كما تفعل الخطوط الدقيقة، مُشيرًا إلى "أن الدرجة الكبيرة من الصحة في الرسم أو النقش الجميل كلاهما لم يكن لهما أهمية على الإطلاق".
Thus, a finite theory of meaning can be given for a natural language; the test of its correctness is that it would generate (if applied to the language in which it was formulated) all the sentences of the form "'p' is true if and only if p" ("'Snow is white' is true if and only if snow is white"). وهذا يعني، أننا يمكن أن تعطي نظرية محدود من معنى للغة الطبيعية، واختبار صحتها هو أنه من شأنه أن يولد (إذا كان ينطبق على اللغة التي صيغت منه) جميع الأحكام الصادرة على شكل "' ع 'هو الصحيح إذا وفقط إذا ف "(" 'ثلج أبيض» صحيحا إذا وفقط إذا كان الثلج أبيض ").