| 開催日 | 予定時刻 | 場所 | 発表者 | 題目 |
|---|---|---|---|---|
| 修士論文 2月16日 (火) |
Session 2 10:20 〜12:00 |
E1棟 31室 |
大森 祐貴 | 情報制御システムの段階的モデル検査手法における反例分析手法 |
| 丸山 翔平 | ソフトウェア保守のためのUMLシーケンス図維持支援手法の実現 | |||
| 卒業研究 2月19日 (金) |
Session 4 14:45 〜16:05 |
E1棟 32室 |
村 侑人 | 分割モデル化された部分状態遷移の合成ツールの開発 |
| 久野 和敏 | 状態遷移DBの検索手順への変換によるモデル検査手法の提案 | |||
| 薄井 翔 | 制御ルールの並びに着目した反例分析ツールの開発 | |||
| 長岡 源樹 | データ依存グラフを利用したデータフロー図の差異検出手法の提案 | |||
| 谷中 賢広 | アクセスデバイスによるEコマースビジネスプロセスのあり方 | |||
| 2月22日 (月) |
13:00 〜14:00 |
S1棟 601w室 |
研究室 メンバ |
本年度の研究と研究室環境の紹介 |
| 2月23日 (火) |
11:00 〜12:00 |