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