Dalam rekayasa sistem perangkat-lunak, sebuah dokumen yang menyatakan fungsi yang perangkat lunak harus melakukan, diperlukan tingkat kinerja (kecepatan, akurasi, dll), sifat diperlukan antarmuka antara produk perangkat lunak dan lingkungan, jenis dan tingkat keparahan kendala pada desain dan kualitas produk akhir. Sinonim dengan eksternal spesifikasi.