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

-研究業績 (旧鳥居研〜井上研)

文献形式
検索
new 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 old
番号 著者 題名 日付 種別 ファイル
63  井上克郎  囲碁ルールの形式化とその実行プログラムへの変換  1989/1  article  
62  Inoue Katsuro  Analysis of Functional Programs to Detect Run-Time Garbage Cells  1988/10  article  
61  荻原剛志  ソフトウェア開発環境記述用関数型言語の設計と処理系の試作  1988/12/9  report  
60  河合秀夫  万歩計と方位磁石による人間用ナビゲーションシステム  1988/11  article  
59  稲田良造  ジャクソン開発法の形式的記述の詳細化とその実行  1988/12/9  report  
58  御井敬  プログラム仕様に用いる自然語の語句に対する意味定義について  1988/11/25  report  
57  松本健一  エラー寿命に基づくプログラマ性能の実験的評価−大学環境におけるプログラム開発−  1988/10  article  
56  鳥居宏次  ソフトウェア品質定量化のための枠組の検討報告  1988/11/9  report  
55  大野浩史  抽象化に基づく文章理解モデルのソフトウェア設計法への適用  1988/9/28  report  
54  大野浩史  自然語によるプログラム仕様に対する理解モデルの提案  1988/9/21  report  
53  松本健一  ソフトウェアの残存エラー数推定モデルの定量的比較  1988/6/8-9  inproceeding  
52  井上克郎  階層的プロセスモデルの提案とそのJSDへの適用  1988/6/8-9  inproceeding  
51  鳥居宏次  ソフトウェア・メトリクスの意義と方法論  1988/10/3-5  inproceeding  
50  Kishida Kouichi  SDA:A Novel Approach To Software Environment Design and Construction  1988/4/11-15  inproceeding  
49  Matsumoto Kenichi  Experimental Evaluation of Software Reliability Growth Models  1988/6/27-30  inproceeding  
48  荻原剛志  オブジェクト間の相互作用に基づくソフトウェア開発法の提案  1988/9/7-9  inproceeding  
47  鳥居宏次  論理型プログラミングと属性文法  1988  article  
46  松本健一  プログラムテキストの変更情報に基づくプログラマ仕事量の分析  1988/9/6-9.9  inproceeding  
45  Sugiyama Yuji  Functional Programming for the Telegram Analysis Problem  1988/5  article  
44  馮安  属性文法による構造化分析法の形式的記述  1988/5/6  report  
new 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 old

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


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