形式手法を用いたシステム設計検証技術
スポンサーリンク
概要
著者
関連論文
-
広域監視制御システムフレームワーク開発 : 再利用分析
-
データ分析支援ツール"DBSOLVER" : 画面とデータ項目のリバース機能
-
2B-1 モデル駆動開発によるシステム性能評価手法の提案(組込み,品質,一般セッション,ソフトウェア科学・工学)
-
ビジネスプロセスモデルを活用したBAMシステム構築の提案(会場A)
-
オブジェクト指向フレームワークによる広域監視制御システムの開発
-
データ分析支援ツール"DBSOLVER"(2) : 分析の流れ
-
高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
-
ペトリネットを用いたグラフィカルユーザインタフェースのふるまいの記述
-
編集にあたって : オープンソースソフトウェアへの扉を開こう(オープンソースソフトウェア)
-
モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
-
SIPアダプテーションを適用したNGNにおけるQoS制御の実現(ブロードバンドアクセス、電灯線通信、ホームネットワーク、一般)
-
形式手法を用いたシステム設計検証技術
-
形式手法を用いたシステム設計検証技術
-
B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
-
B-006 UML MARTE Profileを用いた性能シミュレーション手法の提案(B分野:ソフトウェア,一般論文)
-
モデル駆動による組込みシステムの性能検証手法の提案
-
制御ソフトウェア向けテストケース生成方式の提案
-
B-14-7 仮想環境におけるサーバと周辺機器の構成可視化方式の検討(B-14.情報通信マネジメント,一般セッション)
-
A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
-
L-029 階層間マッピングによるネットワーク構成可視化技術(可視化・認証セキュリティ・TE,L分野:ネットワーク・セキュリティ)
-
A-022 制御ソフトウェアの仕様整合性検証手法の検討と評価(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
-
制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)
もっと見る
閉じる
スポンサーリンク