実践! ソフトウェアモデル検査 HOME | お問い合わせ | サイトマップ | リンク
研究会のご紹介 オンラインサービス 支援ソフトウェア 実用化の研究
■ 研究会のご紹介
活動内容(ENGLISH) | 活動履歴 | 発表論文(ENGLISH) | 構成メンバ(ENGLISH)
活動履歴
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月
「第六回 システム検証の科学技術シンポジウム」で論文発表
組込みシステム産業振興機構
関西産学官連携センター 組込みシステム技術連携研究体
先進的組込みソフト産学官連携プログラム 組込み適塾
サイエンスによる知的ものづくり教育プログラム トップエスイー
形式手法実践ポータル Formal Methods User Group
Copyright(C) 2005-2011 Practical research group of Software Model checking. All Rights Reserved.