The IEEE 830 standard in 1998 specified six key attributes that a software requirements specification should possess: correctness, unambiguity, completeness, consistency, verifiability, and traceability.