磯田 誠 | 三菱電機(株)情報技術総合研究所
スポンサーリンク
概要
関連著者
-
磯田 誠
三菱電機(株)情報技術総合研究所
-
田村 直樹
三菱電機(株)情報技術総合研究所
-
田村 直樹
三菱電機
-
市原 利浩
三菱電機(株)情報技術総合研究所
-
磯田 誠
三菱電機株式会社情報技術総合研究所
-
徳永 雄一
三菱電機株式会社情報技術総合研究所
-
上野 浩一郎
三菱電機(株) 情報技術総合研究所
-
上野 浩一郎
三菱電機株式会社情報技術総合研究所
-
上野 浩一郎
三菱電機(株)情報電子研究所
-
大貫 智洋
三菱電機(株)情報技術総合研究所
-
徳永 雄一
三菱電機
-
上野 浩一郎
三菱電機(株)
-
田村 直樹
三菱電機株式会社情報技術総合研究所
-
徳永 雄一
三菱電機(株)情報技術総合研究所
-
田村 直樹
三菱電機株式会社
-
市原 利浩
三菱電機(株)
-
横谷 哲也
三菱電機株式会社情報技術総合研究所
-
古谷 信司
三菱電機株式会社情報技術総合研究所
-
佐藤 浩司
三菱電機株式会社情報技術総合研究所
-
田村 直樹
三菱電機(株)情報電子研究所
-
徳永 雄一
三菱電機株式会社
-
古谷 信司
三菱電機株式会社 情報技術総合研究所
-
横谷 哲也
三菱電機株式会社
-
佐藤 浩司
三菱電機株式会社 情報技術総合研究所
著作論文
- 2B-1 モデル駆動開発によるシステム性能評価手法の提案(組込み,品質,一般セッション,ソフトウェア科学・工学)
- 高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
- モデル駆動によるテスト仕様の生成手法の提案(一般セッション E_テスト・検証)
- SIPアダプテーションを適用したNGNにおけるQoS制御の実現(ブロードバンドアクセス、電灯線通信、ホームネットワーク、一般)
- 形式手法を用いたシステム設計検証技術
- 形式手法を用いたシステム設計検証技術
- B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
- B-006 UML MARTE Profileを用いた性能シミュレーション手法の提案(B分野:ソフトウェア,一般論文)
- モデル駆動による組込みシステムの性能検証手法の提案
- 制御ソフトウェア向けテストケース生成方式の提案
- A-020 MARTE Profileによるリアルタイムシステム向け性能検証手法の提案(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
- 制御ソフトウェア向けテストケース生成方式の提案(テスト,ソフトウェアサイエンス、理論)