情報・システム-ソフトウェアサイエンス(開催日:2004/07/26)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2004/7/26
[資料番号]
目次

,  

[発表日]2004/7/26
[資料番号]
高階書換え系の決定可能な計算戦略について

粕谷 英人,  酒井 正彦,  阿草 清滋,  

[発表日]2004/7/26
[資料番号]SS2004-6
インタフェースのprovide-require関係の解析に基づいた自動的な構成管理手法の提案

早瀬 康裕,  神谷 年洋,  松下 誠,  井上 克郎,  

[発表日]2004/7/26
[資料番号]SS2004-7
プログラムの変更履歴に基づくリファクタリング支援

林 晋平,  栗原 正仁,  

[発表日]2004/7/26
[資料番号]SS2004-8
ゆかりコア : ネットワーク家電のための分散協調型サービス構築基盤

沢田 篤史,  多鹿 陽介,  山崎 達也,  美濃 導彦,  

[発表日]2004/7/26
[資料番号]SS2004-9
ニューラルネットワークを用いたコマンド予測シェルの試作

北川 俊広,  杉山 安洋,  

[発表日]2004/7/26
[資料番号]SS2004-10
高階移動エージェント向けJavaパッケージの開発 : 関数型言語実装の一手段

神林 靖,  滝本 宗宏,  児玉 靖司,  

[発表日]2004/7/26
[資料番号]SS2004-11
状態マシンモデルに基づいたセキュリテイプロトコルの仕様化

板橋 吾一,  高橋 薫,  加藤 靖,  菅沼 拓夫,  白鳥 則郎,  

[発表日]2004/7/26
[資料番号]SS2004-12
モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド

大久保 弘崇,  山本 晋一郎,  坂部 俊樹,  稲垣 康善,  

[発表日]2004/7/26
[資料番号]SS2004-13
複写される方へ

,  

[発表日]2004/7/26
[資料番号]
奥付

,  

[発表日]2004/7/26
[資料番号]