范例系统分析与形式验证.PDFVIP

例 例 理 理例 行例 5.1 Zachman What How Where 度 行 度 連 WHAT 了 行 HOW 理流不 理流識 利量 WHERE 行 不 5.2 行 5.2.1 年 96 例 理( 91) 列 行 理 流 理年 參 (理 90) 1. 律 度 行 歷 錄 契 益料 2. 力行 復 例行 隸 來 留年 年 ( 94 ) 若 97 例 5.2.2 參 (International