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

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

,  

[発表日]2014/10/16
[資料番号]
目次

,  

[発表日]2014/10/16
[資料番号]
Javaプログラミング学習のための空欄語選択アルゴリズムの提案(ソフトウェア工学)

塔娜,  舩曵 信生,  石原 信也,  

[発表日]2014/10/16
[資料番号]SS2014-25
テストケースを利用したJavaプログラムのアクセス修飾子過剰性分析手法(ソフトウェア工学)

大西 理功,  小堀 一雄,  松下 誠,  井上 克郎,  

[発表日]2014/10/16
[資料番号]SS2014-26
リポジトリシステムとソフトウェア信頼性モデルを用いた欠陥数予測(ソフトウェア工学)

本田 澄,  鷲崎 弘宜,  深澤 良彰,  

[発表日]2014/10/16
[資料番号]SS2014-27
木文法による圧縮XML文書に対する問合せと更新手法(XML)

尾上 栄浩,  橋本 健二,  関 浩之,  伊藤 実,  

[発表日]2014/10/16
[資料番号]SS2014-28
XMLスキーマのもとでのXPath問い合わせの型振る舞い等価性を判定する多項式時間アルゴリズム(XML)

二神 司,  石原 靖哲,  藤原 融,  

[発表日]2014/10/16
[資料番号]SS2014-29
有界な時区間におけるコスト制約問題としての電力消費解析(形式方法)

中島 震,  

[発表日]2014/10/16
[資料番号]SS2014-30
離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出(形式方法)

廣田 樹,  結縁 祥治,  東道 徹也,  

[発表日]2014/10/16
[資料番号]SS2014-31
UPPAALを用いたLEGO mindstorms EV3制御プログラムの合成(形式方法)

荒川 洗,  結縁 祥治,  

[発表日]2014/10/16
[資料番号]SS2014-32
複写される方へ

,  

[発表日]2014/10/16
[資料番号]
Reprographic Reproduction outside Japan

,  

[発表日]2014/10/16
[資料番号]
奥付

,  

[発表日]2014/10/16
[資料番号]
裏表紙

,  

[発表日]2014/10/16
[資料番号]