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

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

,  

[発表日]2010/12/7
[資料番号]
目次

,  

[発表日]2010/12/7
[資料番号]
負荷容量参照モデルに基づくプロジェクトスケジューリング法

齋藤 彰儀,  艸薙 匠,  落水 浩一郎,  

[発表日]2010/12/7
[資料番号]SS2010-39
複数の手法による予測結果が比較可能な工数予測ツールの開発と評価

生方 克馬,  柿元 健,  楠本 真二,  

[発表日]2010/12/7
[資料番号]SS2010-40
メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察

畑 秀明,  水野 修,  菊野 亨,  

[発表日]2010/12/7
[資料番号]SS2010-41
抽象データタイプ・データベース管理システム : OSの核(kernel)として

嶋 胤俊,  西 邦彦,  奥井 順,  関 浩之,  

[発表日]2010/12/7
[資料番号]SS2010-42
抽象的データタイプの記述言語としての代数的仕様記法

西 邦彦,  嶋 胤俊,  奥井 順,  関 浩之,  

[発表日]2010/12/7
[資料番号]SS2010-43
順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について

服部 達哉,  酒井 正彦,  西田 直樹,  草刈 圭一朗,  坂部 俊樹,  

[発表日]2010/12/7
[資料番号]SS2010-44
文字列汚染解析によるWebアプリケーションのインジェクション脆弱性検査

法安 辰典,  小内 一矢,  西田 誠幸,  

[発表日]2010/12/7
[資料番号]SS2010-45
多組織ロールベースアクセス制御における安全なユーザ・ロール関係表現方式

友谷 有希,  楫 勇一,  関 浩之,  

[発表日]2010/12/7
[資料番号]SS2010-46
DTD存在下での否定を含まないXPathクエリの恒真性判定

橋本 健二,  石原 靖哲,  藤原 融,  

[発表日]2010/12/7
[資料番号]SS2010-47
ソースコードコーパスを利用したシームレスな再利用支援

山本 哲男,  吉田 則裕,  肥後 芳樹,  

[発表日]2010/12/7
[資料番号]SS2010-48
プログラム依存グラフを用いたリファクタリング候補の特定と可視化

兼光 智子,  肥後 芳樹,  楠本 真二,  

[発表日]2010/12/7
[資料番号]SS2010-49
複数のメソッドにまたがって存在するコードクローンの検出に向けて

肥後 芳樹,  楠本 真二,  

[発表日]2010/12/7
[資料番号]SS2010-50
改版履歴情報を用いたクラス図の変更量の計測の試み

山田 慎也,  肥後 芳樹,  楠本 真二,  

[発表日]2010/12/7
[資料番号]SS2010-51
凝集度によるコード片の機能別分類手法

木下 正喬,  吉田 則裕,  飯田 元,  

[発表日]2010/12/7
[資料番号]SS2010-52
複写される方へ

,  

[発表日]2010/12/7
[資料番号]
Notice for Photocopying

,  

[発表日]2010/12/7
[資料番号]
奥付

,  

[発表日]2010/12/7
[資料番号]
裏表紙

,  

[発表日]2010/12/7
[資料番号]