| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-03-15 13:20 可変性モデル分割手法の改善 ○岸 知二（早大）  KBSE2023-87 |
|
| 抄録 | （和） | 可変性モデルの解析や検証は論理に基づいて行われることが多いが，可変性モデルの持つ構成数は組み合わせ的になりうるためスケーラビリティが問題となる．そこで我々は可変性モデルをより構成数の少ない複数の可変性モデルに分割する手法を検討している．過去に発表したFD分割手法は構成数の削減効果があることが確認されたがランダム性を持っており削減効果にばらつきがあった．本稿ではフィーチャの同値関係を利用した手法の改善について提案する． |
| （英） | The analysis and verification of variability models are often based on logic, but the number of configurations of a variability model can be combinatorial, causing scalability issue. Therefore, we are examining a method to divide a variable model into multiple variable models with a smaller number of configurations. Though the FD dividing method presented in the past were found to be effective in reducing the number of configurations, because of the randomness of the method, there is variation in the effectiveness of the reduction. This paper proposes an improvement of the method using feature equivalence relations. | |
| キーワード | （和） | 可変性モデル / フィーチャモデル / 形式手法 / / / / / |
| （英） | variability model / feature model / formal method / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 443, KBSE2023-87, pp. 120-125, 2024年3月. | |
| 資料番号 | KBSE2023-87 | |
| 発行日 | 2024-03-07 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2023-87 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2024-03-14 - 2024-03-15 |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2024-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 可変性モデル分割手法の改善 |
| サブタイトル（和） | |
| タイトル（英） | On Improvement of Variability Model Division Method |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 可変性モデル / variability model |
| キーワード(2)（和/英） | フィーチャモデル / feature model |
| キーワード(3)（和/英） | 形式手法 / formal method |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 岸 知二 / Tomoji Kishi / |
| 第1著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-03-15 13:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2023-87 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.443 |
| ページ範囲 | pp.120-125 |
| ページ数 | 6 |
| 発行日 | 2024-03-07 (KBSE) |
[研究会発表申込システムのトップページに戻る]