| |
- |
委員長挨拶 |
3月14日(木) 午前 Session A
10:05 - 11:15 |
| (1) |
10:05-10:40 |
開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～ |
○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大） |
| (2) |
10:40-11:15 |
Simulinkモデルの品質特性分析支援ツールの開発と適用事例 |
○佐々木 翼・峯岸賢吾・上田賀一（茨城大） |
| |
11:15-11:25 |
休憩 （ 10分 ） |
3月14日(木) 午前 Session B
11:25 - 12:35 |
| (3) |
11:25-12:00 |
実行履歴解析によるUMLシーケンス図の抽象化手法 |
○宮城翔一・上條康司・上田賀一（茨城大） |
| (4) |
12:00-12:35 |
Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースKBSSDの提案 |
○櫨山淳雄（学芸大） |
| |
12:35-13:35 |
休憩 （ 60分 ） |
3月14日(木) 午後 Session C
13:35 - 15:20 |
| (5) |
13:35-14:10 |
要求構造明確化のためのゴールグラフの多次元拡張 |
○井上 渉・林 晋平（東工大）・鵜飼孝典（富士通研）・佐伯元司（東工大） |
| (6) |
14:10-14:45 |
アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール |
○瀧澤悠介・阪井隼也・海谷治彦・小形真平・海尻賢二（信州大） |
| (7) |
14:45-15:20 |
要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 |
○式見 遼（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） |
| |
15:20-15:30 |
休憩 （ 10分 ） |
3月14日(木) 午後 Session D
15:30 - 16:40 |
| (8) |
15:30-16:05 |
モデル検査を使ったデッドロック可能性検出 |
○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT） |
| (9) |
16:05-16:40 |
変動するパターンの文字列検索 |
○山口 信・島田 諭・三浦孝夫（法政大） |
| |
16:40-16:50 |
休憩 （ 10分 ） |
3月14日(木) 午後 KBSE研究会20周年記念講演
16:50 - 17:50 |
| (10) |
16:50-17:50 |
［招待講演］知能ソフトウエア工学の意義とKBSE研究会への期待 |
○上野晴樹（NII） |
3月15日(金) 午前 Session E
09:30 - 11:15 |
| (11) |
09:30-10:05 |
ディペンダビリティケース用語構成規則の適用評価 |
○松村昌典・松野 裕・山本修一郎（名大） |
| (12) |
10:05-10:40 |
ディペンダビリティケース分解パターンについての考察 |
○山本修一郎・松野 裕（名大） |
| (13) |
10:40-11:15 |
アシュアランスケースツールへのプログラミング言語技術の適用 |
○松野 裕・山本修一郎（名大） |
| |
11:15-11:25 |
休憩 （ 10分 ） |
3月15日(金) 午前 Session F
11:25 - 12:35 |
| (14) |
11:25-12:00 |
アーキテクチャに基づく検証ケースの提案 |
○山本修一郎（名大） |
| (15) |
12:00-12:35 |
プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール |
○大谷雄平（芝浦工大）・橋浦弘明（東洋大）・古宮誠一（芝浦工大） |
| |
12:35-13:35 |
休憩 （ 60分 ） |
3月15日(金) 午後 KBSE研究会20周年記念講演
13:35 - 14:35 |
| (16) |
13:35-14:35 |
［招待講演］ソフトウェア知識体系の次元 |
○山本修一郎（名大） |
| |
14:35-14:45 |
休憩 （ 10分 ） |
3月15日(金) 午後 Session G
14:45 - 15:55 |
| (17) |
14:45-15:20 |
リメディアル教育のためのCAIシステム ～ 学習者モデルと不得意分野探索アルゴリズム ～ |
○廣瀬史典（芝浦工大）・上之薗和宏（青学大）・古宮誠一（芝浦工大） |
| (18) |
15:20-15:55 |
講義内容の要約字幕作成支援システム ～ 意思決定手法に基づく支援方法の提案 ～ |
○古宮誠一・工藤永貴（芝浦工大）・上之薗和宏（青学大）・八重樫理人（香川大） |
| |
15:55-16:05 |
休憩 （ 10分 ） |
3月15日(金) 午後 Session H
16:05 - 17:15 |
| (19) |
16:05-16:40 |
DSLによる多様な知識の統合 |
○飯島 正（慶大） |
| (20) |
16:40-17:10 |
フレームワークを用いたWebアプリケーションの変更容易性 |
○高橋明日香・小林 洋（東海大） |
| |
- |
委員長挨拶 |
: 
t
