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

-卒業論文(肥後研,旧井上研,旧鳥居研)

文献形式
検索
new 1 2 3 4 5 6 7 8 9 10 old
番号 日付 著者 題名 ファイル
28  1989/2/27  高木千春  自然語の仕様からプログラムへの変換システムの開発−形式的仕様への変換部における機能強化について−  
27  1989/2/27  荒木浩  開発過程記述用言語SPDLの処理系の試作−SPDLトランスレータ−  
26  1988/3/1  上甲徹  ハイパーカード上の構造化分析用図形エディタの作成  
25  1988/3/1  児玉寛  プログラムテキストの変更情報から見たプログラミング効率の分析  
24  1988/3/1  河野俊二  プログラム仕様に用いる自然語の処理のための辞書管理部の作成  
23  1988/3/1  楠本真二  プログラムテキストの変更情報から見たバグとその除去時間の分析  
22  1988/3/1  飯田元  JSDにおける入力順序判定部作成過程の形式的記述  
21  1987/3/4  川瀬淳  LISPインタープリタを用いたあるガーベジセル回収法の評価  
20  1987/3/4  山本浩司  ソフトウェアの残存エラー数推定モデルの定量的比較  
19  1987/3/4  宮地隆  囲碁プログラムへのB* 探索木アルゴリズムの実現方法について  
18  1987/3/4  御井敬  自然語で書かれたプログラム仕様から代数的仕様への変換システムにおけるコマンドインタプリタ部の作成  
17  1987/3/4  林明宏  囲碁ルールの代数的記述とこれに基づく関数型言語ASL/Fプログラムの作成  
16  1987/3/4  仲田恭典  PL/Iプログラム実行時エラーの原因診断エキスパートシステムの試作  
15  1987/3/4  稲田良造  抽象的順序機械の処理系における構文解析部の作成  
14  1986/3/3  野村研仁  代数的仕様記述の詳細化支援システムの試作  
13  1986/3/3  中小路久美代  自然語による問題記述中に現われる語句の形式的意味定義に関する研究  
12  1986/3/3  小田利彦  学生実験のプログラム開発過程における計量化の試み −信頼性・工数推定モデルへの適用−  
11  1986/3/3  大西諭  ソフトウェア開発過程の分析のためのデータ収集・解析システムの作成  
10  1986/3/3  岩本陽巧  万歩計と方位磁石による道順教示システム −システムの有効性について−  
9  1986/3/3  伊藤博樹  PL/Iプログラムにおけるデバッグ支援システムの作成  
new 1 2 3 4 5 6 7 8 9 10 old

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


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