| Budget Amount *help |
¥18,070,000 (Direct Cost: ¥13,900,000、Indirect Cost: ¥4,170,000)
Fiscal Year 2018: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2017: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2016: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000)
Fiscal Year 2015: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
This KAKENHI research aimed to apply techniques from software science to quality assurance of industry products. The research unified theoretical and practical developments. On the theory side, in addition to the originally featured approach of "meta-mathematical transfer" of software science techniques to industry products via category theory and logic, our expanded scope included model-less formal methods and statistical machine learning. These comprehensive research efforts resulted in almost forty refereed publications, and many among them were disseminated in top international conferences. On the application side, we conducted collaborative research with about a dozen of industry partners, in which we identified real-world needs, produced software tools, and applied our theoretical results to real-world problems.
|
