(1) Deskripsi deklaratif dari apa sesuatu itu atau tidak.
(2) Sebuah dokumen yang menjelaskan, secara lengkap, tepat, dapat diverifikasi, persyaratan, desain, perilaku, atau karakteristik dari suatu sistem atau komponen sistem, untuk tujuan pengembangan atau validasi sistem.