織田 健 | 電気通信大学大学院情報通信工学専攻
スポンサーリンク
概要
関連著者
-
織田 健
電気通信大学大学院情報通信工学専攻
-
織田 健
電気通信大学大学院情報理工学研究科総合情報学専攻
-
織田 健
電気通信大学電気通信学部情報通信工学科
-
中村 丈洋
電気通信大学大学院情報通信工学専攻
-
織田 健
電気通信大学情報理工学研究科総合情報学専攻
-
二木 邦尚
電気通信大学電気通信学研究科電子情報学専攻
-
渡辺 成良
電気通信大学情報通信工学科
-
渡辺 成良
電気通信大学電気通信学部部
-
織田 健
電通大
-
渡辺 成良
電気通信大学情報通信工学専攻
-
茅野 良洋
電気通信大学電気通信学研究科情報通信工学専攻
-
足立 智隆
電気通信大学大学院電気通信学研究科情報通信工学専攻
-
平岡 雅也
電気通信大学大学院電気通信学研究科情報通信工学専攻
-
楊 洋
電気通信大学電気通信学研究科情報通信工学専攻
著作論文
- 再利用による自動コード生成を目的としたB Methodにおけるソフトウェアの部品化(形式手法(学生セッション))
- B Methodにおける自動コード合成フレームワークの提案
- 4Q-3 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
- インターネット環境におけるコンピュータリテラシの教育
- B-006 機能に着目したソフトウェア部品の抽象化による特徴抽出(ソフトウェア,一般論文)
- 4Q-4 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
- ソフトウェア測定形式化による妥当性検証手法(定量化・評価)
- B-050 多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム(B.ソフトウェア)
- B-037 Zによる仕様記述と状態遷移規則の比較による誤り検出法(B.ソフトウェア)
- B-018 エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法(B分野:ソフトウェア)
- 形式仕様を用いた部品検索における計算量低減