4月19日(木) 午後 14:20 - 17:15 |
(1) |
14:20-15:00 |
直交表を用いた単体テストに関する考察 ~ JUnit 支援ツールの試作 ~ |
山田 輝(NECシステムテクノロジー)・○阿萬裕久・高松雄三(愛媛大) |
(2) |
15:00-15:40 |
自治体EAへの形式手法適用の試み |
○清野貴博・高木 理・竹内 泉・高橋孝一・和泉憲明(産総研) |
|
15:40-15:55 |
休憩 ( 15分 ) |
(3) |
15:55-16:35 |
ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析 |
○佐藤知徳・長田 晃・北澤直幸・海谷治彦・海尻賢ニ(信州大) |
(4) |
16:35-17:15 |
情報システム開発者の理解度に基づく業務知識の提供法 |
小澤大伍・○長田 晃・北澤直幸・海谷治彦・海尻賢二(信州大) |
4月20日(金) 午前 09:00 - 11:55 |
(5) |
09:00-09:40 |
統合型要求工学の実証研究に向けて |
○堀 昭三(九工大)・中谷多哉子(筑波大)・片峯恵一・鵜林尚靖・橋本正明(九工大) |
(6) |
09:40-10:20 |
モデル検査によるWebセッションのセキュリティ欠陥検出手法 |
○森川郁也・山岡裕司・中山裕子(富士通研) |
|
10:20-10:35 |
休憩 ( 15分 ) |
(7) |
10:35-11:15 |
UML図の変更波及解析ツール |
○小谷正行・菅井拓海・落水浩一郎(北陸先端大) |
(8) |
11:15-11:55 |
オーバーサンプリングを用いた効率的品質管理のための変数選択手法の提案 |
○佐々木優介・安部誠也・水野 修・菊野 亨(阪大)・吉岡幸恵・阿南佳之・田中又治(オムロンソフトウェア) |