Salam Khan | 電気通信大学大学院情報通信工学専攻
スポンサーリンク
概要
電気通信大学大学院情報通信工学専攻 | 論文
- 再利用による自動コード生成を目的としたB Methodにおけるソフトウェアの部品化(形式手法(学生セッション))
- B Methodにおける自動コード合成フレームワークの提案
- 4Q-3 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
- 形式仕様を用いた部品検索における計算量低減
- B Methodにおける高信頼ソフトウェア部品自動生成