研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のKBSE研究会 / 次のKBSE研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

★知能ソフトウェア工学研究会（KBSE）
専門委員長　飯島正 (慶大)　　副委員長　金田重郎 (同志社大)
幹事　後藤隆彰 (電通大)，青木善貴 (日本ユニシス)
幹事補佐　松野裕 (電通大)，中川博之 (阪大)

日時　2015年 3月 5日(木)　10：00～17：25
　　　2015年 3月 6日(金)　10：00～16：10

会場電気通信大学東3号館3階 301号室（〒182-8585 東京都調布市調布ヶ丘1-5-1．京王線調布駅下車中央口改札中央口より徒歩5分．http://www.uec.ac.jp/about/profile/access/．情報理工学研究科後藤隆彰．042-443-5912）

議題一般

3月5日(木) 午前セッション1 （10：00～11：35）

−−−　委員長挨拶　（ 5分）　−−−

(1) 10:05 - 10:50
発達障害児向けICT教材開発におけるEPISODEの実践と評価
○金山貴泰・後藤隆彰・西野哲朗（電通大）

(2) 10:50 - 11:35
特定問題領域に特化したAndroidアプリケーション自動生成ツールの構築と適用評価
○飯山大樹・中所武司（明大）

−−−　昼食　（ 85分）　−−−

3月5日(木) 午後セッション2 （13：00～15：15）

(3) 13:00 - 13:45
クラス図作成演習における学習者の編集過程の細粒度分析
○田中昂文（学芸大）・橋浦弘明（日本工大）・櫨山淳雄（学芸大）・古宮誠一（NII）

(4) 13:45 - 14:30
プログラム更新前後におけるUMLシーケンス図の抽象化と差異検出
○宮城翔一・丸山翔平・上田賀一（茨城大）

(5) 14:30 - 15:15
モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化
○宮島卓巳（茨城大）・小飼　敬（茨城高専）・上田賀一（茨城大）・山形知行・武澤隆之（日立）

−−−　休憩　（ 10分）　−−−

3月5日(木) 午後セッション3 （15：25～17：25）

(6) 15:25 - 15:55
ソフトウェアセキュリティ知識を活用したセキュアなソフトウェア開発のための事例ベース管理システムの開発
○斉藤大仁・櫨山淳雄（学芸大）・吉岡信和（NII）・小橋孝紀・鷲崎弘宜（早大）・海谷治彦（神奈川大）・大久保隆夫（情報セキュリティ大）

(7) 15:55 - 16:40
モジュールを用いた安全性ケースの読解性向上手法についての考察
○近藤純平・森崎修司・山本修一郎（名大）

(8) 16:40 - 17:25
属性付保証ケースを用いたアーキテクチャ評価手法の提案
○山本修一郎（名大）

3月6日(金) 午前セッション4 （10：00～11：30）

(9) 10:00 - 10:45
調理支援システムの構築を目的とした調理動作の認識
○肱岡佑磨・村上　真・木本伊彦（東洋大）

(10) 10:45 - 11:30
Development of a Cloud-based Authoring Tool for Synchronizing Slide Presentation with Live Video Stream on the WebELS Platform
○Arjulie John Berena（NII）・Sila Chunwijitra（NECTEC）・Mohammed Osamnia・Hitoshi Okada・Haruki Ueno（NII）

−−−　昼食　（ 90分）　−−−

3月6日(金) 午後セッション5 （13：00～14：30）

(11) 13:00 - 13:45
ペルソナに基づく撤回可能付きGSN構築手法の提案～システムアシュアランス導入に関するリスクケースを題材として～
○泉川大樹・高井利憲（奈良先端大）

(12) 13:45 - 14:30
アシュアランスケース構築のための議論合成法
○高井利憲（奈良先端大）・木藤浩之（東大）・松野　裕（電通大）

−−−　休憩　（ 10分）　−−−

3月6日(金) 午後セッション6 （14：40～16：10）

(13) 14:40 - 15:25
自己適応システムにおける動的検証法の適用範囲向上に向けて
○小川賢人・中川博之・土屋達弘（阪大）

(14) 15:25 - 16:10
モデル検査を用いたユースケースモデルに基づくソースコード検証～ ASP.NETアプリケーションを事例として～
○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大）

−−−　委員長挨拶　（ 10分）　−−−

一般講演：発表 30 分＋質疑応答 15 分
一般講演（ショート）：発表 20 分＋質疑応答 10 分

☆KBSE研究会今後の予定　[ ]内発表申込締切日

5月25日(月)～26日(火)　機械振興会館地下3階 B3-6会議室　[4月13日(月)]　テーマ：一般
5月26日(火)　機械振興会館６階第一＋第二会議室　　テーマ：ミニシンポジウム：知能ソフトウェア工学の伝統と将来に向けて

【問合先】
飯島正（慶應義塾大学）
E-mail: ii