填空题 （）是系统的技术环境和性能目标特性，不同于系统必须完成或支持的行为。

填空题 （）是系统必须完成的活动或过程的一种需求

填空题 （）模型表明系统将如何真正实现。包括形式上和技术上的细节。