命題論理に基づく要求仕様の詳細化とその支援

• Item type: SIG Technical Reports(1)
• 公開日: 1997-04-24
• タイトル: 命題論理に基づく要求仕様の詳細化とその支援
• タイトル / 言語: en
• タイトル: Refinement of a Requirement Specification based on Propositional Logic and Its Support Method
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東北大学電気通信研究所／情報科学研究科
• 著者所属: 東北大学電気通信研究所／情報科学研究科
• 著者所属: 仙台電波工業高等専門学校
• 著者所属: 東北大学電気通信研究所／情報科学研究科
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku University
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku University
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku Universityjk
• 著者名: 福沢, 尚司; 郷健太郎; 高橋, 薫; 白鳥, 則郎
• 著者名(英): Shoji, Fukuzawa; Kentaro, Go; Kaoru, Takahashi; Norio, Shiratori
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 大規模なシステムの開発では，システムの機能・性質に対するユーザの要求からシステムの動作仕様を得るために多大な労力を必要とする．このため，命題論理に基づく機能要求記述を単位とする要求仕様から，有限状態機械に基づくシステム仕様を導出する手法が提案されている．本稿ではこの手法に基づき，要求仕様の詳細化による段階的要求獲得の枠組みとして，(）要求仕様の階層化と (）機能要求記述の置換の2つを提案し，また，詳細化の具体的支援法として，(）要求仕様の分割による詳細化対象の明確化を提案する．さらに，簡易TVシステムへの適用例を用いて本支援法の有効性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the development of a large system, it is difficult to obtain a system specification from user's requirements such as system's functions or its property. A method to derive a system specification based on finite state machine from a requirement specification based on propositional logic has been proposed. In this paper, based on this method, we propose some frameworks of refinement method of a requirement specification. We also propose some support methods for refinement of the requirement specification along with those frameworks. Finally, we present a real application of our method to simple TV system, in order to demonstrate the effectiveness of our method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1997, 号 35(1997-DPS-082), p. 63-68, 発行日 1997-04-24
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会