تربط البرمجيات الفكرة بسلوك يمكن تنفيذه وملاحظته وفحصه. وتشمل الواجهات وتغيرات الحالة وحدود الوصول ومعالجة الفشل.
في nage وa2 تختلف البرمجة عن التحقق من القبول؛ عمل مكوّن لا يثبت الخدمة كاملة. لذا يذكر الوصف النطاق المنفّذ والشروط التي لم تُتحقق بعد.