ヘルプ
ヘルプ

検索結果 8 件

SPINモデル検査入門

書影
SPINモデル検査入門
紙図書
Mordechai Ben-Ari 著, 中島震 監訳, 谷津弘一, 野中哲, 足立太郎 共訳オーム社2010.3<M159-J876>
国立国会図書館全国の図書館

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
紙図書
中島震著近代科学社2008.4
全国の図書館
  • 並列タイトル等（連結）SPINモデル検査 : 検証モデリング技法
  • 並列タイトル等SPINモデル検査 : 検証モデリング技法

SPINモデル検査 : 検証モデリング技法

書影書影書影
SPINモデル検査 : 検証モデリング技法
紙デジタル図書
中島震 著近代科学社2008.4<M159-J150>
国立国会図書館全国の図書館

UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用 (ソフトウェアインタプライズモデリング)

UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用 (ソフトウェアインタプライズモデリング)
紙記事
山田 豊, 和崎 克己<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報110(427) 2011.2.25p.23～28
国立国会図書館全国の図書館

上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 (ソフトウェアインタプライズモデリング)

上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 (ソフトウェアインタプライズモデリング)
紙記事
宮本 直樹, 和崎 克己<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報111(308):2011.11.18p.7-12
国立国会図書館全国の図書館

UML記述の仕様からSPINモデル検査用PROMELAでモデルへの自動変換

UML記述の仕様からSPINモデル検査用PROMELAでモデルへの自動変換
記事
2010第9回情報科学技術フォーラム, 2010
全国の図書館

B-021 タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査(B分野:ソフトウェア,一般論文)

B-021 タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査(B分野:ソフトウェア,一般論文)
記事
2013-08-20情報科学技術フォーラム講演論文集12 1p.267-270
全国の図書館

B-020 UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換(B分野:ソフトウェア,一般論文)

B-020 UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換(B分野:ソフトウェア,一般論文)
記事
2010-08-20情報科学技術フォーラム講演論文集9 1p.311-314
全国の図書館

検索結果は以上です。