WEKO3
-
RootNode
アイテム
モデル検査のための設計モデル構築手法に関する考察
https://ipsj.ixsq.nii.ac.jp/records/69626
https://ipsj.ixsq.nii.ac.jp/records/69626361c9763-493f-40eb-978d-f9aee7ceee7a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE10168009.pdf (666.6 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-05-25 | |||||||
| タイトル | ||||||||
| タイトル | モデル検査のための設計モデル構築手法に関する考察 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | On Modeling Method for Software Design Verification using Model Checking Techniques | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | モデルベース設計技術 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 早稲田大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Waseda University | ||||||||
| 著者名 |
岸, 知二
× 岸, 知二
|
|||||||
| 著者名(英) |
Tomoji, Kishi
× Tomoji, Kishi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | モデル検査技術によるソフトウェアの設計検証は有効な検証手段のひとつであるが、効果的に利用するためには注意深い適用が必要である。本稿ではモデル検査技術を行うためは設計モデル構築上どのような課題があるかを考察するとともに、それを踏まえた検証のための設計モデル構築手法について検討する。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Model checking techniques are considered to be promising approaches for software design verification, but we need careful application of the techniques in order to verify software design effectively. In this paper, we examine the issues in software design modeling, and propose a verification oriented design modeling techniques. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2010-SE-168, 号 9, p. 1-6, 発行日 2010-05-25 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
