| 大会名称 |
|---|
| 2018年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2018 |
| 発行日 |
| 2018-09-12 |
| セッション番号 |
| 4b |
| セッション名 |
| ソフトウェア（３） |
| 講演日 |
| 2018/09/20 |
| 講演場所(会議室等) |
| C棟C33 |
| 講演番号 |
| B-007 |
| タイトル |
| モジュール構造を考慮した形式的細粒度部品の提案 |
| 著者名 |
| 横山 仁, 織田 健, |
| キーワード |
| 形式手法, B-Method, AtelierB, Slicing |
| 抄録 |
|
形式手法であるB-Methodは、無矛盾性を検証できるモデルと、 そのモデルとの整合性を検証できる実装の組で構成される。 我々はB-Methodで記述された既存のソフトウェアを細分化し細粒度部品として 再利用する手法を提案している。しかしこの手法はモジュール構造を考慮してない。 異なるソフトウェアでは機能が同等でも構造が異なることが少なくないため、 この違いを吸収することは手法の再利用性を高める上で重要である。 そこで本研究では形式的モデルにおけるモジュール構造における細粒度部品のあり方を提案し、 将来的に階層構造に依存しない部品の再利用法及びそれらを合成する手法を目指す。 |
| 本文pdf |
| PDF download (296KB) |