查詢結果分析
相關文獻
- Application of CSP to the Specification Description, the Analysis and Finding the Dynamic Behavior of the System Using Message Transmission System as an Example
- 植基於ISO/IEC 12207軟體生命週期發展標準之整合標準規範架構
- 第三代行動通訊執照拍賣軟體的規範測試
- 電信總局軟體發展程序規範於低速率視訊編碼國際標準軟體系統之應用
- A Software Documentation Tool Support DGT Software Development Processing Guideline
- 機械零組件設計與採購的規範:MCS 電腦軟體
- ESCO節能績效保證專案與商業模式之案例分析
- 以劇本法探討資管系大學生對資訊專業倫理規範的察覺能力
- 提昇電桿強度整體性研究
- 行動醫療軟體的上市前規範:美國經驗
頁籤選單縮合
題 名 | Application of CSP to the Specification Description, the Analysis and Finding the Dynamic Behavior of the System Using Message Transmission System as an Example |
---|---|
作 者 | Hoshino,Yuko; Yokoyama,Tomoaki; Tsujigado,Makoto; | 書刊名 | 網際網路技術學刊 |
卷 期 | 1:2 2000.12[民89.12] |
頁 次 | 頁1-10 |
分類號 | 312.49 |
關鍵詞 | 規範; 訊息傳遞系統; 軟體; CSP; Specification; Process algebra; Total system behavior; Deadlock absence; Ada tasking; Concurrent systems; |
語 文 | 英文(English) |
英文摘要 | The first purpose of this paper is to study the application of CSP [1] to the specification descriptions, the analysis of the specification and the investigation of dynamic behavior of the system including the verification of deadlock absence in the system by process algebra in CSP. The second purpose is an implementation of the system in Ada95 for the confirmation of the above discussion. For the purpose, a message transmission system is adopted as an example. The methodology for software development as is described in this paper, is very useful, because at the period of specification description and system design, the total behavior of the system can be recognized, and a high quality system can be implemented. |
本系統中英文摘要資訊取自各篇刊載內容。