統一的プログラム表現にもとづく統合的ソフトウェア開発支援環境の構築に関する研究

ソフトウェアプロセスのモデル化と支援環境の構築に関する研究

ソフトウェア開発支援システムに関する研究

統合的電力系統解析支援システムの構築に関する研究

マルチエージェントシステム構築環境に関する研究

分散ソフトウェアの構築モデルに関する研究

エージェント指向によるソフトウェア開発支援方式に関する研究

英語の知的学習支援環境HELENに関する研究

力覚帰還型仮想環境の構築手法に関する研究

プログラムの表現方法に関する研究

低環境負荷・資源循環型居住システムの構築に関する実証的研究

知識ベースビューに基づくエキスパートシステム構築に関する研究

再利用に基づいた通信システムの設計支援環境に関する研究

高次推論による問題解決機構とその構築環境に関する研究

構成的論理に基づくプログラムの合成と解析の研究

居住者の環境評価に基づく自然環境共存型の住宅地像に関する研究

積雲の雲物理的構造解析を基礎にした洪水制御支援環境の開発に関する研究

依存解析に基づくソフトウェアの部品化再利用に関する研究

事例に基づく構造物の概念設計支援に関する研究

持続的開発と国際環境協力に関する研究

設計と計画の統合的問題解決支援に関する研究

データ駆動パラダイムに基づく統合的システム記述体系に関する研究

都心居住環境に基づく高度ゾーニングの設定に関する研究

ソフトウェアの系統的な機能テスト法に関する研究

抽象解釈に基づくソフトウェアの段階的構成法とその評価