電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 中田 明夫 (広島市大)
副委員長 小林 隆志 (東工大)
幹事 肥後 芳樹 (阪大), 島 和之 (広島市大)
幹事補佐 林 晋平 (東工大)

日時 2019年 3月 4日(月) 09:25 - 18:00
2019年 3月 5日(火) 09:00 - 17:40
議題 一般 
会場名 沖縄産業支援センター 
住所 沖縄県那覇市字小禄1831番地1
交通案内 沖縄産業支援センター > アクセス
https://www.okinawa-sangyoushien.co.jp/?page_id=23
参加費に
ついて
この開催は「技報完全電子化」研究会です.参加費(SS研究会)についてはこちらをご覧ください.

3月4日(月) 午前 
座長: 島 和之 (広島市立大学)
09:25 - 11:15
(1) 09:25-09:50 離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証 中根里空結縁祥治名大
(2) 09:50-10:15 時間付き可逆プロセス計算の合同性について 山本 暁結縁祥治名大
(3) 10:15-10:40 Acumenを用いたハイブリッドシステムの統計的モデル検査 井上晃輔石井大輔福井大
(4) 10:40-11:05 余裕時間の考慮によりマルチプロセッサリアルタイムシステムのヒープメモリ消費量を削減する改良LLFスケジューリング 町頭優輝中田明夫広島市大
  11:05-11:15 休憩 ( 10分 )
3月4日(月) 午前 
座長: 林 晋平 (東京工業大学)
11:15 - 12:30
(5) 11:15-11:40 サマータイム制度によるソフトウェア開発への影響調査 林 純一肥後芳樹柗本真佑楠本真二阪大
(6) 11:40-12:05 GitHubのJavaリポジトリを用いた弱参照の利用実態の調査 キム テヨン肥後芳樹柗本真佑楠本真二阪大
(7) 12:05-12:30 行単位の差分情報を考慮した抽象構文木のノード単位の差分出力 松本淳之介肥後芳樹楠本真二阪大
  12:30-13:30 昼食 ( 60分 )
3月4日(月) 午後 
座長: 神谷 年洋 (島根大学)
13:30 - 15:20
(8) 13:30-13:55 Ripple effect analysis method of data flow requirements BUI Do Tien HungTakayuki OmoriAtsushi OhnishiRitsumeikan Univ.
(9) 13:55-14:20 ウェブアプリケーション開発におけるテストコードを用いた要求理解支援環境 中地祥剛崔 恩瀞奈良先端大)・吉田則裕名大)・飯田 元奈良先端大
(10) 14:20-14:45 概念モデリングにおけるソフトウェアパターンの再利用を支援するツールの初期評価 赤木 謙橋浦弘明日本工大)・田中昂文東京農工大)・櫨山淳雄学芸大)・高瀬浩史日本工大
(11) 14:45-15:10 機械学習による要求文書からの開発バックログ作成支援 石塚 凌鷲崎弘宜早大)・斎藤 忍應治沙織NTT
  15:10-15:20 休憩 ( 10分 )
3月4日(月) 午後 
座長: 崔 恩瀞 (奈良先端科学技術大学院大学)
15:20 - 16:45
(12) 15:20-15:45 リファクタリング実証的研究のためのデータセット作成環境 倉本 涼林 晋平佐伯元司東工大
(13) 15:45-16:10 ブランチを考慮したプロアクティブなソフトウェアメトリクス値の推定 伊勢本圭亮佐伯元司林 晋平東工大
(14) 16:10-16:35 改版履歴分析に基づく変更漏れ防止支援における変更ルール集約と順位付けの効果 石田義八小林隆志東工大
  16:35-16:45 休憩 ( 10分 )
3月4日(月) 午後 
座長: 中田 明夫 (広島市立大学)
16:45 - 18:00
(15) 16:45-17:10 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ 坂梨元軌酒井正彦西田直樹橋本健二名大
(16) 17:10-17:35 ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大
(17) 17:35-18:00 動的情報漏洩量の解析および適応的制御入力最適化 三輪竜矢関 浩之名大
3月5日(火) 午前 
座長: 沢田 篤史 (南山大学)
09:00 - 10:25
(18) 09:00-09:25 コードクローン間の類似度に基づく無害なコードクローンの自動判定手法 土居真之肥後芳樹楠本真二阪大
(19) 09:25-09:50 コードクローンに対する集約結果に基づいた削減可能なソースコード行数の測定手法 中川 将肥後芳樹楠本真二阪大
(20) 09:50-10:15 コードクローン保守支援を目的とした変更履歴可視化システム 本田紘貴徳井翔梧横井一輝阪大)・崔 恩瀞奈良先端大)・吉田則裕名大)・井上克郎阪大
  10:15-10:25 休憩 ( 10分 )
3月5日(火) 午前 
座長: 肥後 芳樹 (大阪大学)
10:25 - 11:40
(21) 10:25-10:50 ソースコードコメントに着目した技術負債に対する修正の類似性の調査 岡島早紀神田哲也井上克郎阪大
(22) 10:50-11:15 分散ストリーム処理エンジンを用いたMTLによる大規模トレース検査 有松 優野田訓広小林隆志東工大
(23) 11:15-11:40 ブルームフィルタを用いてソースコード片のコピーを高速に検索する手法の検討 酒井宏樹阪大)・石尾 隆奈良先端大)・井上克郎阪大
  11:40-13:10 昼食 ( 90分 )
3月5日(火) 午後 
座長: 小林 隆志 (東京工業大学)
13:10 - 15:00
(24) 13:10-13:35 テストスクリプト自動生成における適切な粒度の画面遷移テストの試み 倉林利行切貫弘之吉村 優安達 悠丹野治門NTT
(25) 13:35-14:00 UIレイアウトテストにおける画面構成を考慮した段階的差異検出手法の提案 吉村 優安達 悠丹野治門NTT
(26) 14:00-14:25 作業空間情報の利用による業務構造理解技術の提案 應治沙織斎藤 忍鈴木源吾NTT
(27) 14:25-14:50 ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案 渥美紀寿京大)・桑原寛明南山大
  14:50-15:00 休憩 ( 10分 )
3月5日(火) 午後 
座長: 橋本 健二 (名古屋大学)
15:00 - 16:25
(28) 15:00-15:25 機械学習ソフトウェアの品質評価保証レベル 中島 震NII)・妹尾義樹大岩 寛磯部祥尚産総研
(29) 15:25-15:50 関数型プログラムの条件式のための反例を用いた自動修正 松井 健佐藤亮介鵜林尚靖亀井靖高九大
(30) 15:50-16:15 継続渡しスタイルの関数型プログラミング言語における非同期処理の実装 井原 唯小島 渚島 和之広島市大
  16:15-16:25 休憩 ( 10分 )
3月5日(火) 午後 
座長: 林 晋平 (東京工業大学)
16:25 - 17:40
(31) 16:25-16:50 大学学部生を対象とした実践的IT人材育成プログラムenPiT2と評価 山本雅基名大)・沢田篤史南山大)・小林隆志東工大)・岡村耕二九大)・宮地充子阪大/北陸先端大)・佐藤和彦室蘭工大)・奥野 拓公立はこだて未来大)・粂野文洋日本工大
(32) 16:50-17:15 プログラミング的思考力の育成を目的とした対戦型色塗りゲームの検討と開発 古謝翔士井垣 宏阪工大
(33) 17:15-17:40 企業内ソースコードに対する自動バグ修正技術適用の試み 池田 翔中野大扉亀井靖高佐藤亮介鵜林尚靖九大)・吉武 浩矢川博文富士通九州ネットワークテクノロジーズ

講演時間
一般講演発表 20 分 + 質疑応答 5 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 島和之 (広島市立大学)
TEL: 082-830-1613
FAX: 082-830-1613
E-: -cu 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2019-03-03 05:53:06


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

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


IEICE / 電子情報通信学会