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

• 研究課題/領域番号: 01780035
• 研究種目: 奨励研究(A)
• 配分区分: 補助金
• 研究分野: 情報学
• 研究機関: 龍谷大学
• 研究代表者: 林 晋 龍谷大学, 理工学部, 助教授
• 研究期間 (年度): 1989
• 研究課題ステータス: 完了 (1989年度)
• 配分額: 800千円 (直接経費: 800千円); 1989年度: 800千円 (直接経費: 800千円)