情報・システム-ソフトウェアサイエンス(開催日：2005/01/13)

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

,  

[発表日]2005/1/13
[資料番号]
目次

,  

[発表日]2005/1/13
[資料番号]
STSプロトコルの形式化と検証によるCafeOBJとCoqの比較

原 光太朗,  緒方 和博,  中村 正樹,  二木 厚吉,  

[発表日]2005/1/13
[資料番号]SS2004-43
リッチクライアントに適したWebアプリケーションフレームワークの提案と実装

秋田 一郎,  満田 成紀,  福安 直樹,  吉田 敦,  鯵坂 恒夫,  

[発表日]2005/1/13
[資料番号]SS2004-44
Ripple Down Ruleを用いたソースコード変更の分類

エディ パーキンソン,  川口 真司,  井上 克郎,  

[発表日]2005/1/13
[資料番号]SS2004-45
初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて

喜多 義弘,  川添 貴議,  片山 徹郎,  

[発表日]2005/1/13
[資料番号]SS2004-46
プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出

下村 希世人,  片山 徹郎,  

[発表日]2005/1/13
[資料番号]SS2004-47
アスペクト指向プログラムにおけるコールグラフの構築

林田 隆元,  岩本 将典,  徳門 敦,  趙 建軍,  

[発表日]2005/1/13
[資料番号]SS2004-48
ASE2004参加報告

坂田 祐司,  松田 栄之,  山本 修一郎,  佐伯 元司,  本位田 真一,  

[発表日]2005/1/13
[資料番号]SS2004-49
複写される方へ

,  

[発表日]2005/1/13
[資料番号]
Notice about Photocopying

,  

[発表日]2005/1/13
[資料番号]
奥付

,  

[発表日]2005/1/13
[資料番号]