(1) Sebuah dokumen yang jelas dan tepat menggambarkan setiap syarat-syarat (fungsi, kinerja, desain kendala dan quality attributes) perangkat lunak dan antarmuka eksternal. Kebutuhan setiap didefinisikan dalam seperti cara bahwa prestasi dapat secara objektif diverifikasi oleh metode yang ditentukan, misalnya, inspeksi, demonstrasi, analisis, atau tes. Sometime disebut spesifikasi eksternal. Kontras dengan spesifikasi internal (spesifikasi desain)