查詢結果分析
來源資料
頁籤選單縮合
題 名 | 規格描述語言統行為的建構方法=A Method for Constructing Specification and Description Language System Behaviors |
---|---|
作 者 | 甘傑英; | 書刊名 | 電腦與通訊 |
卷 期 | 80 1999.06[民88.06] |
頁 次 | 頁65-72 |
專 輯 | 電子構裝及測試技術專輯 |
分類號 | 448.6 |
關鍵詞 | 規格描述語言; 正規方法; 狀態轉換圖; 決策表; 結構化分析方法; Specification and description language; Formal method; State transition diagram; Decision table; Structured analysis method; |
語 文 | 中文(Chinese) |
中文摘要 | 規格描述語言(Specification and Description Language;SDL)是描述通訊 協定的正規方法;在這篇論文中,我們提出一個建構規格描述語言系統行為的方 法,此方法主要是根據狀態轉換圖(State Transition Diagram;STD)以及決策表 (Decision Table),有系統地推導出SDL規格;這個建構方法建立了規格描述語言 以及結構化分析方法兩者之間的關係,同時對非正式描述(Informal Specification) 的分析技術,提供一個具有潛力的可行方法。 |
本系統中英文摘要資訊取自各篇刊載內容。