Proj
J-GLOBAL ID:202104002033520082  Research Project code:17940694

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

整合性を保持する形式仕様の自動抽象化システム「ソフトウェア顕微鏡」の開発
National award number:JPMJPR17UA
Study period:2017 - 2018
Organization (1):
Principal investigator: ( , 国立情報学研究所, 特任研究員 )
DOI: https://doi.org/10.52926/JPMJPR17UA.17940694
Research overview:
複雑な高信頼ソフトウェアシステムの開発のために、システムの仕様を形式的な言語で記述して性質を数学的に検証する手法が注目されています。しかし、構築される仕様は複雑に入り組み、理解・修正・再利用が難しいという問題があります。そこで、本提案では仕様のうち一部の側面だけに関する部分を、元の仕様と整合性のある「抽象版」の仕様として自動で抜き出す手法を構築し、仕様の理解・修正・再利用を促進します。
Research program:
Parent Research Project: 情報と未来
Organization with control over the research:
Japan Science and Technology Agency
Reports :

Return to Previous Page