3月5日(木) 午前 セッション1
10:00 - 11:35 |
| |
10:00-10:05 |
委員長挨拶 （ 5分 ） |
| (1) |
10:05-10:50 |
発達障害児向けICT教材開発におけるEPISODEの実践と評価 |
○金山貴泰・後藤隆彰・西野哲朗（電通大） |
| (2) |
10:50-11:35 |
特定問題領域に特化したAndroidアプリケーション自動生成ツールの構築と適用評価 |
○飯山大樹・中所武司（明大） |
| |
11:35-13:00 |
昼食 （ 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 |
モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化 |
○宮島卓巳（茨城大）・小飼 敬（茨城高専）・上田賀一（茨城大）・山形知行・武澤隆之（日立） |
| |
15:15-15:25 |
休憩 （ 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） |
| |
11:30-13:00 |
昼食 （ 90分 ） |
3月6日(金) 午後 セッション5
13:00 - 14:30 |
| (11) |
13:00-13:45 |
ペルソナに基づく撤回可能付きGSN構築手法の提案 ～ システムアシュアランス導入に関するリスクケースを題材として ～ |
○泉川大樹・高井利憲（奈良先端大） |
| (12) |
13:45-14:30 |
アシュアランスケース構築のための議論合成法 |
○高井利憲（奈良先端大）・木藤浩之（東大）・松野 裕（電通大） |
| |
14:30-14:40 |
休憩 （ 10分 ） |
3月6日(金) 午後 セッション6
14:40 - 16:10 |
| (13) |
14:40-15:25 |
自己適応システムにおける動的検証法の適用範囲向上に向けて |
○小川賢人・中川博之・土屋達弘（阪大） |
| (14) |
15:25-16:10 |
モデル検査を用いたユースケースモデルに基づくソースコード検証 ～ ASP.NETアプリケーションを事例として ～ |
○青木善貴（芝浦工大）・小形真平（信州大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大） |
| |
16:10-16:20 |
委員長挨拶 （ 10分 ） |
: ii
ae
io
-s
ff