いのうえけ〜ん
English 
/ ホームページ / 研究紹介 / 発表論文・技術報告・学位論文 / メンバー / ニュース /

-修士論文 (旧鳥居研〜井上研)

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

発表論文・技術報告・学位論文のページに戻る


homeホームページへ © ソフトウェア工学講座 mailお問い合わせはこちらまで