查詢結果分析
來源資料
頁籤選單縮合
題名 | 規格描述語言統行為的建構方法=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) 的分析技術,提供一個具有潛力的可行方法。 |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。