Spesifikasi Kebutuhan Perangkat Lunak (bahasa Inggris: SoftwareRequirementsSpecification) adalah dokumen yang dibuat ketika deskripsi detail dari semua
"Goal-directed concept acquisition in requirements elicitation". Proceedings of the Sixth International Workshop on SoftwareSpecification and Design. IEEE Comput.
goal-oriented requirements engineering dengan serangkaian teknik analisis formal. KAOS adalah singkatan dari Knowledge Acquisition in autOmated Specification, tetapi
"Goal-directed concept acquisition in requirements elicitation". Proceedings of the Sixth International Workshop on SoftwareSpecification and Design. IEEE Comput.