整合性を保持する形式仕様の自動抽象化システム「ソフトウェア顕微鏡」の開発

体系的課題番号：JPMJPR17UA
実施期間：2017 - 2018
実施機関 (1件)：
研究代表者： ( , 国立情報学研究所, 特任研究員 )
DOI： https://doi.org/10.52926/JPMJPR17UA.17940694
研究概要：

複雑な高信頼ソフトウェアシステムの開発のために、システムの仕様を形式的な言語で記述して性質を数学的に検証する手法が注目されています。しかし、構築される仕様は複雑に入り組み、理解・修正・再利用が難しいという問題があります。そこで、本提案では仕様のうち一部の側面だけに関する部分を、元の仕様と整合性のある「抽象版」の仕様として自動で抜き出す手法を構築し、仕様の理解・修正・再利用を促進します。

, , , , , ,

研究制度：＞＞
上位研究課題：情報と未来
研究所管機関：

国立研究開発法人科学技術振興機構

報告書等：

2018 終了報告書

前のページに戻る