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