填空题 对象约束语言（）是一种规约语言，它以（表达式）的方式定义对其它模型元素的约束。

填空题 在需求工程中，主要产生三类重要的文档（）、（）以及需求规格说明。

填空题 需求工程是所有需求处理活动的总和，它收集信息、分析问题、整合观点、记录需求并验证其正确性，终反映软件被应用后与其环境互动形成的（）。