Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
SS2014-25
Javaプログラミング学習のための空欄語選択アルゴリズムの提案
○塔 娜・舩曵信生・石原伸也（岡山大）
pp. 1 - 6
SS2014-26
テストケースを利用したJavaプログラムのアクセス修飾子過剰性分析手法
○大西理功（阪大）・小堀一雄（NTTデータ）・松下 誠・井上克郎（阪大）
pp. 7 - 12
SS2014-27
リポジトリシステムとソフトウェア信頼性モデルを用いた欠陥数予測
○本田 澄・鷲崎弘宜・深澤良彰（早大）
pp. 13 - 16
SS2014-28
木文法による圧縮XML文書に対する問合せと更新手法
○尾上栄浩（奈良先端大）・橋本健二・関 浩之（名大）・伊藤 実（奈良先端大）
pp. 17 - 22
SS2014-29
XMLスキーマのもとでのXPath問い合わせの型振る舞い等価性を判定する多項式時間アルゴリズム
○二神 司・石原靖哲・藤原 融（阪大）
pp. 23 - 28
SS2014-30
有界な時区間におけるコスト制約問題としての電力消費解析
○中島 震（NII）
pp. 29 - 34
SS2014-31
離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出
○廣田 樹・結縁祥治（名大）・東道徹也（デンソー）
pp. 35 - 40
SS2014-32
UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成
○荒川 洸・結縁祥治（名大）
pp. 41 - 46
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．