عرض مصطلح معلوماتية

1 توصيف رسمي ؛ 2 توصيف صوري | formal specification

1- توصيفٌ مكتوبٌ ومصدَّقٌ عليه وفق مَقَايِسَ standards ثابتة. 2- توصيفٌ مكتوبٌ وفق تدوينٍ notation صوري، كثيراً ما يُستعمل لإثبات الصحّة.

التصنيفات موثوقية ووقائية ومُتاحيّة | Reliability, maintainability and availability