織田 健 | 電気通信大学情報理工学研究科総合情報学専攻

スポンサーリンク

概要

• 同名の論文著者
• 電気通信大学情報理工学研究科総合情報学専攻の論文著者

関連著者

• 中村 丈洋

  電気通信大学大学院情報通信工学専攻

• 織田 健

  電気通信大学大学院情報理工学研究科総合情報学専攻

• 織田 健

  電気通信大学情報理工学研究科総合情報学専攻

• 織田 健

  電気通信大学大学院情報通信工学専攻

• 織田 健

  電気通信大学電気通信学部情報通信工学科

• 西野 哲朗

  電通大

• 西野 哲朗

  電気通信大学 電気通信学部 情報通信工学科 情報メディア工学講座

• 西野 哲朗

  電気通信大学 先進アルゴリズム研究ステーション

• 西野 哲朗

  電気通信大学

• 西野 哲朗

  電気通信大学先進アルゴリズム研究ステーション

著作論文

• 再利用による自動コード生成を目的としたB Methodにおけるソフトウェアの部品化(形式手法(学生セッション))
• B Methodにおける自動コード合成フレームワークの提案
• 4Q-3 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
• 形式仕様を用いた部品検索における計算量低減
• B Methodにおける高信頼ソフトウェア部品自動生成

スポンサーリンク