集合論的記述の抽象化について

コード生成の自動化に向けて

抄録

本論の目的は，システム開発において，システムの抽象度の高い集合論的記述から，それを実現する最終的なコードへの翻訳自動化の可能性について論ずるための出発点を提供することである．第4世代システム開発方法論において用いられてきた集合論的記述は，可読性，保守性といった観点から，改善の余地があるように思われる．本論では，データマイニング・システムの記述の一部を取り上げ，その問題点と改善案を提示し，コード生成の自動化について論ずる．