スポンサーリンク
九州工学大学大学院情報工学研究科 | 論文
- CADシステム生成のリファレンスモデルにおける手続き生成部の一実装
- 多視点モデリングのためのCADシステム生成方式へのDB実装
- CADシステム生成のリファレンスモデルにおける手続き生成部の一実装
- 多視点モデリングのためのCADシステム生成方式へのDB実装
- オブジェクト・モデルに基づく種々のドメイン依存仕様記述言語によるCADシステム生成方式
- データモデルに基づく関係推論によるプログラム生成法の定式化
- 関係推論に基づく入出力データ構造不一致の検出方法の定式化の拡張
- プログラム仕様から手続き型プログラムへの変換の一定式化