金井 勇人 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 金井 勇人の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 金井 勇人

  北陸先端科学技術大学院大学

• 岸 知二

  北陸先端科学技術大学院大学 情報科学研究科

• 岸 知二

  Necマイコンソフト開発環境研究所

• 岸 知二

  Jaist:nec

• 岸 知二

  北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科

• 岸 知二

  早稲田大学

• 岸 知二

  日本電気(株)

• 岸 知二

  北陸先端科学技術大学院大学

• 岸 知二

  北陸先端科学技術大学院大学大学情報科学研究科

• 岸 知二

  日本電気株式会社

• 岸 知二

  北陸先端科学技術大学院大学情報科学研究科

• 岸 知二

  日本電気(株)ソフトウェア生産技術開発本部

• 岸 知二

  早稲田大

• 岸 知二

  早稲田大学経営システム工学科

もっと見る 閉じる

著作論文

• モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
• 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
• 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
• UML設計モデル検査技術のための検証パターンの提案
• ソフトウェア設計に対するモデル検査のための検証パターン

スポンサーリンク