| 活動履歴 |
| 2002年4月 |
| 「モデル検査によるソフトウェアテストの実践研究会」発足 |
|
| 2003年3月 |
| 「情報処理学会 第43回プログラミング研究会」で論文発表 |
|
| 2004年1月 |
| 「ソフトウェアテストシンポジウム JaSST'04」で論文発表 |
|
| 2005年10月 |
| 「第二回 システム検証の科学技術シンポジウム」で論文発表 |
|
| 2005年12月 |
| 「日経エレクトロニクス誌(モデル検査特集号)」に掲載 |
|
| 2006年1月 |
| 「実践！ソフトウェアモデル検査」ホームページ公開 |
| 「ソフトウェアテストシンポジウム JaSST'06」で論文発表 |
|
| 2006年4月 |
| 「日経エレクトロニクス誌主催セミナー」で講演 |
|
| 2006年5月 |
| 「ソフトウェアテストシンポジウム JaSST'06 in大阪」で講演 |
|
| 2006年11月 |
| 「第三回 システム検証の科学技術シンポジウム」で論文発表 |
|
| 2007年1月 |
| 「ソフトウェアテストシンポジウム JaSST'07 in東京」で論文発表 |
|
| 2007年4月 |
| 「モデル検査支援ソフトウェア（試供版）」を公開 |
|
| 2007年6月 |
| 「組込み総合技術展 関西 ETWest2007」で技術セミナー開催 |
|
| 2007年7月 |
| 「ソフトウェアテストシンポジウム JaSST'07 in関西」でチュートリアル開催 |
|
| 2007年8月 |
| 「組込みシステム技術に関するサマーワークショップ SWEST9」でモデル検査支援ソフトウェアを紹介 |
|
| 2007年10月 |
| 「組込みシステムシンポジウム2007」で論文発表 |
|
| 2007年11月 |
| 「第四回 システム検証の科学技術シンポジウム」で論文発表 |
|
| 2008年1月 |
| 「ソフトウェアテストシンポジウム JaSST'08 in東京」で論文発表 |
|
| 2008年6月 |
| 「組込み総合技術展 関西 ETWest2008」で技術セミナー開催 |
|
| 2008年9月 |
| 「組込みシステム技術に関するサマーワークショップ SWEST10」で技術セミナー開催 |
|
| 2008年11月 |
| 「第五回 システム検証の科学技術シンポジウム」で論文発表 |
|
| 2009年1月 |
| 「ソフトウェアテストシンポジウム JaSST'09 in東京」で論文発表 |
|
| 2009年6月 |
| 「組込み総合技術展 関西 ETWest2009」で研究発表 |
|
| 2009年11月 |
| 「第六回 システム検証の科学技術シンポジウム」で論文発表 |
|
|
