要改写为可以验证的需求，上述的所有需求都要是可以验证的。无法在软体层级上验证的非功能需求，需要保留作为客户期望的文件。不过这类需求可以追溯到流程需求，可以判定是否有特别的方式可以满足此一需求。例如有一个非机能需求是软体不得有后门，此一需求可以用使用结对编程来开发软体的流程需求来取代。其他的非功能需求也可以追溯到其他的系统元素，可以在系统层级进行验证。例如系统可靠度可以用系统层级的分析来验证。以及其复杂的安全需求必需遵守开发流程进行。有些活动会让系统需求或是软体需求出现变化。需求工程中会包括专案的可行