ソフトウェアの見積モデルに関する研究

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

ソフトウェア信頼性評価モデルとその適用に関する研究

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

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

適応変異の数理モデルに関する研究

心臓の興奮伝導モデルに関する研究

プロトコルと通信ソフトウェアの設計に関する基礎的研究

ソフトウェア記述からのLSIアーキテクチャ合成法に関する研究

沿岸生態系モデルの開発に関する研究

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

流出負荷予測モデルに関する研究

ネットワーク型空間分割モデルに関する研究

ソフトウェアの形式的洗練化と検証に関する基礎的研究

通話品質の客観評価モデルに関する研究

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

画像データベースにおけるモデル形成に関する研究

通信ソフトウェア仕様検証技術の効率向上に関する研究

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

ニューラルネットワークのモデルによる生徒の自然認識に関する研究

画像理解におけるモデル獲得に関する研究

計算機による比喩理解モデルに関する研究

非線形汎関数級数モデルの積分核同定精度に関する研究

帰納論理プログラミングによるタンパク質機能モデルの発見に関する研究

知識に依存しない言語モデルに関する研究