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

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

,  

[発表日]2007/10/15
[資料番号]
目次

,  

[発表日]2007/10/15
[資料番号]
導出木からのループ検出による論理プログラムの非停止性証明法

水谷 知博,  西田 直樹,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2007/10/15
[資料番号]SS2007-30
QOCの相対的重みに関する表現能力欠如を解決するRational Decision Makingを用いた設計根拠獲得手法

小林 祐介,  櫨山 淳雄,  

[発表日]2007/10/15
[資料番号]SS2007-31
組込みシステムの外部環境に着目した動作仕様検証

金川 太俊,  瀬戸 敏喜,  谷口 奨,  吉田 純,  鵜林 尚靖,  鷲見 毅,  平山 雅之,  

[発表日]2007/10/15
[資料番号]SS2007-32
ロボット制御ソフトウェアの形式的モデル検証

大森 洋一,  井ノ口 裕也,  荒木 啓二郎,  

[発表日]2007/10/15
[資料番号]SS2007-33
e-Learningによる英語構文基礎学力養成SYSTEM

伴 浩美,  菅田 徹,  

[発表日]2007/10/15
[資料番号]SS2007-34
計算機上で処理を受ける対象の意味づけを保存する場合の処理のモデル化の試案

古宇田 フミ子,  近山 隆,  

[発表日]2007/10/15
[資料番号]SS2007-35
相関ルールマイニングによる企業横断データにおける不具合工数密度の分析

出張 純也,  水野 修,  菊野 亨,  菊地 奈穂美,  平山 雅之,  

[発表日]2007/10/15
[資料番号]SS2007-36
メールスレッドのクラスター分析によるOSSプロジェクトのアクティビティ予測手法

大蔵 君治,  大西 洋司,  川口 真司,  大平 雅雄,  飯田 元,  松本 健一,  

[発表日]2007/10/15
[資料番号]SS2007-37
複写される方へ

,  

[発表日]2007/10/15
[資料番号]
Notice for Photocopying

,  

[発表日]2007/10/15
[資料番号]
奥付

,  

[発表日]2007/10/15
[資料番号]