支持需求追蹤的語義模型

1. 基於謂詞邏輯的符號系統 1.1符號系統 語法 （1）個體變元：表示抽象或泛指的軟件製品或製品屬性，如：1 ，2 ， ⋯ ，1 ，2 ； （2）二元謂詞符號：用於描述個體變元間的關係，如：12，22， ⋯ ，2； （3）聯接詞符號：； （4）括號與逗號：(、，、) 若定義集合 ：描述製品標識符的有限集合；集合：描述製品屬性的有限集合；集合：描述有限二元謂詞集合；集合：由一元否定聯接符構成的集合

>>阅读原文<<