修士論文

番号
著者
題名
日付
ファイル
番号27
著者佐藤 慎一
題名ポインタ変数を含むプログラムの依存解析の効率化
日付1996年2月13日
ファイル
番号26
著者中村圭介
題名法的対象を対話的に分類する法律診システムの提案とその実現
日付1995年2月14日
ファイル
番号25
著者松下 誠
題名ソフトウェア開発プロセスにおける構成要素のインタラクションに着目した開発支援環境の設計
日付1995年2月14日
ファイル
番号24
著者會澤 実
題名構文木の相互比較によるソフトウェア開発履歴分析方法の提案とその実現
日付1995年2月14日
ファイル
番号23
著者渡辺 淳志
題名ソフトウェア品質保証規格に基づいた管理プロセスの記述
日付1994年2月5日
ファイル
番号22
著者高谷 暢之
題名入出力の制限情報を利用したプログラム簡素化手法の提案
日付1994年2月15日
ファイルAdobe PDF Document
番号21
著者植田 良一
題名再帰を含むプログラムのスライスを求めるアルゴリズムの提案
日付1994年2月15日
ファイル
番号20
著者玉井 昌朗
題名ソフトウェア開発における要求処理のモデル化とそれに基づく開発支援システムの設計
日付1994年2月15日
ファイル
番号19
著者藤田 房之
題名ソフトウェア技術者教育におけるテスト能力評価のためのソフトウェアテスト作業モデルに関する研究
日付1994年2月15日
ファイル
番号18
著者松永 泰明
題名協調作業のために必要な情報を組み込んだS/W開発用ナビゲーションシステムの作成
日付1993年2月18日
ファイル
番号17
著者片岡 欣夫
題名構造化分析法で用いられるドキュメント類の定量的評価に関する考察
日付1993年2月18日
ファイル
番号16
著者西村 好洋
題名ソフトウェア開発におけるプロダクト間関係の汎用的な記述とその実行系に関する研究
日付1991年2月20日
ファイル
番号15
著者高田義広
題名Discrete Utterance Recognition Using a Stochastic Model Incorporating Neural Predictors
日付1991年2月20日
ファイル
番号14
著者西村好洋
題名ソフトウェア開発におけるプロダクト間関係の汎用的な記述とその実行系に関する研究
日付1991年2月20日
ファイル
番号13
著者高木千春
題名プログラム作成過程の進捗管理のための定量的モデルに関する研究
日付1991年2月20日
ファイル
番号12
著者河野俊二
題名分野固有の知識に基づくプログラム仕様の変換に関する研究
日付1990年2月23日
ファイル
番号11
著者楠本真二
題名フィードバック機能に基づくソフトウェア開発支援に関する研究
日付1990年2月23日
ファイル
番号10
著者飯田元
題名開発支援系における作業系列や対象の実行時選択機能に関する研究
日付1990年2月23日
ファイル
番号9
著者御井敬
題名自然語のプログラム仕様からASL/Fプログラムへの変換に関する研究
日付1989年2月20日
ファイル
番号8
著者稲田良造
題名ジャクソンシステム開発法の形式的記述に対する詳細化と実行に関する研究
日付1989年2月20日
ファイル
番号7
著者馮安
題名Translating Specifications in Common Attribute Grammars to Prolog Programs
日付1988年2月22日
ファイル
番号6
著者野村研仁
題名ジャクソンシステム開発法(JSD)の定義付けに関する研究
日付1988年2月22日
ファイル
番号5
著者大西諭
題名囲碁プログラムにおける局面評価および手の探索に関する研究
日付1988年2月22日
ファイル
番号4
著者鷲坂光一
題名代数的記述に基づく抽象的順序機械の処理系の設計
日付1987年2月20日
ファイル
番号3
著者松本健一
題名プログラム作成能力の定量的評価に関する研究
日付1987年2月20日
ファイル
番号2
著者石木信之
題名プログラム仕様に用いる自然語の処理システムにおける知識管理部の作成
日付1987年2月20日
ファイル
番号1
著者前野芳史
題名属性文法記述からPrologプログラムの生成に関する研究
日付1986年2月25日
ファイル

研究業績のページに戻る