>> 2018年 6月 4日  ソフトウェアエンジニアリングシンポジウム(SES)2018
           ワークショップ「形式手法-導入支援と技術教育」を開催します。

>> 2018年 4月10日  [公開資料]のページに以下の資料を掲載しました。
           「モデル検査コンテストについて」


>> 2018年 3月 6日  国産モデル検査ツールの試作版の開発を完了しました。
           今後も世界最速を目指して開発を進めます。
           正式リリースは今しばらくお待ちください。

>> 2018年 1月22日  ウィンターワークショップ2018・イン・宮島(情報処理学会)で
           弊社代表(早水)が以下のタイトルで発表しました。
           「モデル検査コンテストについて」

>> 2017年12月28日  12/30(土)~1/3(水)は年末年始のため休業します。
           本年は大変お世話になりました。
           来年もどうぞよろしくお願い申し上げます。

>> 2017年12月18日  ウィンターワークショップ2018・イン・宮島(情報処理学会)で
           弊社代表(早水)が以下のタイトルで発表します。
           「モデル検査コンテストについて」

>> 2017年11月 5日  ウィンターワークショップ2018・イン・宮島(情報処理学会)
           T4: 形式手法-導入支援と技術教育-で論文を募集中です。
           弊社代表(早水)と横川智教先生(岡山県立大学)が
           討論リーダを担当しています。

>> 2017年11月 4日  [モデル検査業務の請負(第三者検証)]のページを更新しました。

>> 2017年11月 3日  [設計モデル検査ツールの開発]のページを更新しました。

>> 2017年11月 2日  [モデル検査とは?]のページに
           モデル検査ツールについて(PDF 263KB)を追加しました。

>> 2017年11月 1日  [モデル検査技術者の育成]のページを更新しました。

>> 2017年10月29日  [モデル検査初級セミナー]のページを更新しました。

>> 2017年10月28日  [モデル検査とは?]のページに
           モデル検査の説明資料(PDF 512KB)を追加しました。

>> 2017年10月20日  TOPSE 設計モデル検証(応用)SMV編の講義を無事閉講しました。

>> 2017年10月18日  大阪勧業展2017(マイドームおおさか)に参加します。

>> 2017年10月13日  TOPSE 設計モデル検証(応用)SMV編の講義を開講しました。

>> 2017年 9月12日  チェンジビジョン様のブログに以下の記事を掲載して頂きました。
           記事:モデル検査のユースケース

>> 2017年 8月31日  TOPSE 第2回モデルチェッキングコンテストの表彰式がありました。
           弊社代表(早水)が作題と審査委員を担当しました。

>> 2017年 7月31日  チェンジビジョン様のブログに以下の記事を掲載して頂きました。
           記事:ステートマシン図の設計品質の向上の一手法の紹介  

>> 2017年 7月 8日  TOPSE モデル検査事例演習の講義を無事閉講しました。

>> 2012年10月25日  Webサイトを開設しました。