支持需求追踪的语义模型

1. 基于谓词逻辑的符号系统 1.1符号系统 语法 （1）个体变元：表示抽象或泛指的软件制品或制品属性，如：1 ，2 ， ⋯ ，1 ，2 ； （2）二元谓词符号：用于描述个体变元间的关系，如：12，22， ⋯ ，2； （3）联接词符号：； （4）括号与逗号：(、，、) 若定义集合 ：描述制品标识符的有限集合；集合：描述制品属性的有限集合；集合：描述有限二元谓词集合；集合：由一元否定联接符构成的集合

>>阅读原文<<