対象領域における語彙に基づくソフトウェアの要求分析法に関する研究

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

ソフトウェアの信頼性実証試験及びデータ伝送における再送要求方策に関する研究

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

空間周波数領域設計に基づく固体イメージセンサの高解像度化に関する研究

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

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

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

領域分割に基づいた静止画像の変換符号化に関する研究

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

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

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

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

帯域予約に基づく高速データ転送に関する研究

ウマのミトコンドリアDNAのDループ領域における多型解析とその応用に関する研究

英語教育基本語彙の選定に関する研究

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

境界整合の手法に基づく回析トモグラフィの再構成法に関する研究

無機陰イオンの吸光・蛍光分析法における高感度化に関する研究

依存性解析に基づく非同期式プロセッサの論理合成に関する研究

陰影モデルに基づく動画像解析の研究

地震のスケーリング則に基づく強震動予測に関する研究

調音運動に基づく音声の合成法に関する研究

適合の原理に基づく制御系設計に関する研究

現代住宅における接客空間要求に関する実証的研究