仕様の段階的refinementによるプログラム導出・検証の研究

• Project/Area Number: 01780035
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: Informatics
• Research Institution: Ryukoku University
• Principal Investigator: 林 晋 龍谷大学, 理工学部, 助教授
• Project Period (FY): 1989
• Project Status: Completed (Fiscal Year 1989)
• Budget Amount: ¥800,000 (Direct Cost: ¥800,000); Fiscal Year 1989: ¥800,000 (Direct Cost: ¥800,000)