フォーマルメソッド：分散開発への応用例

• Item type: SIG Technical Reports(1)
• 公開日: 2009-06-25
• タイトル: フォーマルメソッド：分散開発への応用例
• タイトル / 言語: en
• タイトル: Formal Method: Application on Distributed Development
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 検証1
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 独立行政法人産業技術総合研究所
• 著者所属(英): en
• 著者所属(英): National Institute of Advanced Industrial Science and Technology
• 著者名: 宮永, 照二
• 著者名(英): Shoji, Miyanaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: フォーマルメソッド ¹º⁾¹¹⁾¹²⁾¹³⁾¹⁴⁾¹⁴⁾¹⁶⁾¹⁷⁾¹⁹⁾ は高信頼ソフトウェア ¹⁾²⁾³⁾⁴⁾⁴⁾⁶⁾⁷⁾ を開発するための方法論として有効であるが、多くの場合、信頼性を得るよりも高いコストを要求する。そのため、フォーマルメソッドの適用においては、適用範囲と適用時の効果を明確にする必要がある。本稿では、アプリケーション開発に対して、フォーマルメソッドを適用することにより、効果的な適用方法について分析する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Formal Method is effective to develop the highly dependable system, but in many cases is need higher cost than obtaining of dependability. Therefore, to apply the formal method, it is need to clarify the applied domain and effectiveness when applied. In this paper, we analyse the executive way to apply the formal method for application development.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2009-SE-165, 号 6, p. 1-7, 発行日 2009-06-25
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会