{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad01_expire_date}}
{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad02_expire_date}}
文献
J-GLOBAL ID:201002250220252662   整理番号:10A0326830

MCBOK2008:ソフトウェア開発のためのモデル検査知識体系

著者 (7件):
資料名:
巻: 2009  号: 10  ページ: 49-57  発行年: 2009年10月14日
JST資料番号: Y0978B  ISSN: 1344-0640  資料種別: 会議録 (C)
記事区分: 短報  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
機能安全やセキュリティ評価基準において,形式手法の採用が強く推奨されているなど,システムの安全性を保証する分野において,形式的検証技術の利用が広がりつつある。その中でもモデル検査は有望な技術として認められつつある。モデル検査の習得環境を整備し,普及を促進することを目的として,産学官の組織が連携し,ソフトウェア開発にモデル検査を適用する際の知識をMCBOK 2008(Model Checking Body Of Knowledge)として体系立ててまとめた。本論文ではMCBOK 2008の概要と,想定されるMCBOKの用途について述べる。また,MCBOK 2008を作成する際にとった手法,得られた知見について述べる。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (2件):
分類
JSTが定めた文献の分類名称とコードです
計算理論  ,  計算機システム開発 
タイトルに関連する用語 (4件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る