産官学連携によるエンピリカルソフトウェア工学の実践--データに基づく実証的アプローチ (特集 学と産の連携による基盤ソフトウェアの先進的開発) -- (高い生産性を持つ高信頼ソフトウェア作成技術の開発) / 松本 健一 ; 井上 克郎 ; 鶴保 征城 他