再利用による自動コード生成を目的としたB Methodにおけるソフトウェアの部品化(形式手法(学生セッション))
スポンサーリンク
概要
- 論文の詳細を見る
本稿ではB Methodの段階的詳細化はソフトウェア部品の信頼性向上と部品検索に有効であると考え,経験則から部品化と再利用の手順を提案する.提案手法を用いて銀行口座システムを部品化し,その部品を用いて図書館システムを実装する実験では6操作中3操作を実装することが出来た.この実験結果から段階的仕様記述言語に対して部品再利用を用いた自動コード生成を適用することで高信頼ソフトウェア開発を迅速に行うことが出来るのではないかと予想し,これを実現するためには本手法をB Methodの証明責務から再構築する必要があると考察した.
- 2009-03-11
著者
-
中村 丈洋
電気通信大学大学院情報通信工学専攻
-
織田 健
電気通信大学大学院情報通信工学専攻
-
織田 健
電気通信大学電気通信学部情報通信工学科
-
織田 健
電気通信大学大学院情報理工学研究科総合情報学専攻
-
織田 健
電気通信大学情報理工学研究科総合情報学専攻
関連論文
- 再利用による自動コード生成を目的としたB Methodにおけるソフトウェアの部品化(形式手法(学生セッション))
- B Methodにおける自動コード合成フレームワークの提案
- 4Q-3 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
- インターネット環境におけるコンピュータリテラシの教育
- B-006 機能に着目したソフトウェア部品の抽象化による特徴抽出(ソフトウェア,一般論文)
- 4Q-4 形式的なソフトウェア部品検索のための仕様からの特徴抽出(再利用,保守,学生セッション,ソフトウェア科学・工学)
- ソフトウェア測定形式化による妥当性検証手法(定量化・評価)
- B-050 多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム(B.ソフトウェア)
- B-037 Zによる仕様記述と状態遷移規則の比較による誤り検出法(B.ソフトウェア)
- B-018 エンティティの振舞いに着目したZによる仕様記述と状態遷移規則の比較に基づく誤り検出法(B分野:ソフトウェア)
- 形式仕様を用いた部品検索における計算量低減
- B Methodにおける高信頼ソフトウェア部品自動生成
- 高信頼細粒度部品再利用による形式手法におけるソフトウェア合成