文献
J-GLOBAL ID：200902159487923703   整理番号：99A0895789

有限状態検証のための特性仕様記述におけるパターン

Patterns in Property Specifications for Finite-State Verification.
著者 (3件)：
DWYER M B

DWYER M B について

(Kansas State Univ., KS)

Kansas State Univ., KS について

, 
AVRUNIN G S

AVRUNIN G S について

(Univ. Massachusetts, MA)

Univ. Massachusetts, MA について

, 
CORBETT J C

CORBETT J C について

(Univ. Hawai’i, HI)

Univ. Hawai’i, HI について


資料名：
Proceedings of the International Conference on Software Engineering  (Proceedings of the International Conference on Software Engineering)

Proceedings of the International Conference on Software Engineering について


巻： 21st  ページ： 411-420  発行年： 1999年 
JST資料番号： D0491B  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
モデル検証器やその他の有限状態検証ツールでは,ある種の誤りを...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*プログラム検証

プログラム検証 について

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

プログラムパターン について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0895789&from=J-GLOBAL&jstjournalNo=D0491B") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
検証

検証 について

, 
仕様記述

仕様記述 について


前のページに戻る

TOP

BOTTOM