高い生産性を持つ高信頼ソフトウェア作成技術の開発 (特集 学と産の連携による基盤ソフトウェアの先進的開発)