電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

ソフトウェアサイエンス研究会 (SS)  (2014年度)

専門委員長 緒方 和博 (北陸先端大)  副委員長 中田 明夫 (広島市大)
幹事 小林 隆志 (東工大), 肥後 芳樹 (阪大)
幹事補佐 島 和之 (広島市大)

「from:2014-10-23 to:2014-10-23」による検索結果

[ソフトウェアサイエンス研究会ホームページへ] 
講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・昇順)
 8件中 1〜8件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2014-10-23
14:00
高知 高知市文化プラザかるぽーと Javaプログラミング学習のための空欄語選択アルゴリズムの提案
塔 娜舩曵信生石原伸也岡山大
開発環境,堅牢性,可搬性に優れたプログラミング言語Java は,産業界で広く利用されている.本グループでは,その学習支援... [more] SS2014-25
pp.1-6
SS 2014-10-23
14:30
高知 高知市文化プラザかるぽーと テストケースを利用したJavaプログラムのアクセス修飾子過剰性分析手法
大西理功阪大)・小堀一雄NTTデータ)・松下 誠井上克郎阪大
Javaプログラム内には,実際の被アクセス範囲に比べて過剰に広く設定されているアクセス修飾子(Accessibility... [more] SS2014-26
pp.7-12
SS 2014-10-23
15:15
高知 高知市文化プラザかるぽーと リポジトリシステムとソフトウェア信頼性モデルを用いた欠陥数予測
本田 澄鷲崎弘宜深澤良彰早大
ソフトウェアの欠陥はリポジトリシステムによって管理されることが多くなっており,開発からテストとい
ったソフトウェア開発... [more]
SS2014-27
pp.13-16
SS 2014-10-23
15:45
高知 高知市文化プラザかるぽーと UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成
荒川 洸結縁祥治名大
本研究は,UPPAALを用いて記述した時間オートマトンによる振舞い仕様からLEGO Mindstorm EV3システムを... [more] SS2014-32
pp.41-46
SS 2014-10-23
16:15
高知 高知市文化プラザかるぽーと 木文法による圧縮XML文書に対する問合せと更新手法
尾上栄浩奈良先端大)・橋本健二関 浩之名大)・伊藤 実奈良先端大
XML 文書は同じ構造が頻出することが多いため,様々な圧縮法が提案されている.本稿では,SLCFTG による圧縮 XML... [more] SS2014-28
pp.17-22
SS 2014-10-24
09:30
高知 高知市文化プラザかるぽーと XMLスキーマのもとでのXPath問い合わせの型振る舞い等価性を判定する多項式時間アルゴリズム
二神 司石原靖哲藤原 融阪大
 [more] SS2014-29
pp.23-28
SS 2014-10-24
10:00
高知 高知市文化プラザかるぽーと 有界な時区間におけるコスト制約問題としての電力消費解析
中島 震NII
 [more] SS2014-30
pp.29-34
SS 2014-10-24
10:30
高知 高知市文化プラザかるぽーと 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出
廣田 樹結縁祥治名大)・東道徹也デンソー
離散事象システム(DES)とは,事象の離散的な生起により状態が遷移するシステムの総称である.離散事象システムでは,システ... [more] SS2014-31
pp.35-40
 8件中 1〜8件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会