| 大会名称 |
|---|
| 2013年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2013 |
| 発行日 |
| 2013/8/20 |
| セッション番号 |
| 4B |
| セッション名 |
| 仕様・設計，形式的手法 |
| 講演日 |
| 2013/09/05 |
| 講演場所(会議室等) |
| 共通教育棟 D棟 2F D21 |
| 講演番号 |
| B-018 |
| タイトル |
| プロダクトライン開発におけるセミ形式化記述を用いた仕様整合支援ツール |
| 著者名 |
| 小宮 紀之, 久代 紀之, 深澤 良彰, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (370.4KB) |
| 大会名称 |
|---|
| 2013年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2013 |
| 発行日 |
| 2013/8/20 |
| セッション番号 |
| 4B |
| セッション名 |
| 仕様・設計，形式的手法 |
| 講演日 |
| 2013/09/05 |
| 講演場所(会議室等) |
| 共通教育棟 D棟 2F D21 |
| 講演番号 |
| B-018 |
| タイトル |
| プロダクトライン開発におけるセミ形式化記述を用いた仕様整合支援ツール |
| 著者名 |
| 小宮 紀之, 久代 紀之, 深澤 良彰, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (370.4KB) |