>> 2024年 4月12日 SMARTSE K19_品質エンジニアリングを5/13(月)に開講します。
>> 2023年12月15日 日本科学技術連盟で2024/1/26(金)に下記テーマで特別講義をします。
テーマ「産業界におけるモデル検査の実践事例と普及活動」
>> 2023年12月15日 ウィンターワークショップ(WWS)2024・イン・鹿児島(情報処理学会)で
ワークショップ「形式手法」を開催します。
>> 2023年10月 4日 TOPSE モデル検査事例演習の講義を10/18(水)より閉講します。
>> 2023年 7月19日 ソフトウェアエンジニアリングシンポジウム(SES)2023で
ワークショップ「形式手法」を開催します。
>> 2023年 6月 2日 TOPSE モデル検査入門Ⅱの講義を6/30(金)より開講します。
>> 2023年 4月14日 SMARTSE K19_品質エンジニアリングを5/9(火)に開講します。
>> 2022年12月01日 ウィンターワークショップ(WWS)2023・イン・富山(情報処理学会)で
ワークショップ「形式手法」を開催します。
>> 2022年10月 6日 TOPSE モデル検査事例演習の講義を10/12(水)より閉講します。
>> 2022年 7月16日 ソフトウェアエンジニアリングシンポジウム(SES)2022で
ワークショップ「形式手法」を開催します。
>> 2021年11月 2日 TOPSE モデル検査事例演習の講義を11/10(水)より開講します。
SMARTSE K19_品質エンジニアリングを12/4(土)に開講します。
>> 2021年 8月13日 ソフトウェアエンジニアリングシンポジウム(SES)2021で
ワークショップ「形式手法」を開催します。
>> 2021年 3月 6日 enPiT成果発表会を弊社代表（早水）が視察させて頂きました。
>> 2021年 1月 9日 ウィンターワークショップ(WWS)2021・オンライン(情報処理学会)で
ワークショップ「形式手法」を開催します。
今年は無料でご参加頂けます。
>> 2020年11月14日 TOPSE モデル検査事例演習の講義を11/14(土)に閉講しました。
今年度も多数の方に受講して頂きました。ありがとうございます。
>> 2020年10月28日 TOPSE モデル検査事例演習の講義を11/7(土)より開講します。
>> 2020年 9月 6日 ソフトウェアエンジニアリングシンポジウム(SES)2020で
ワークショップ「形式手法」を開催します
>> 2019年12月20日 ウィンターワークショップ(WWS)2020・イン・京都(情報処理学会)で
ワークショップ「形式手法」を開催します。
>> 2019年 8月19日 ソフトウェアエンジニアリングシンポジウム(SES)2019で
ワークショップ「形式手法」を開催します。
>> 2019年 7月29日 TOPSE モデル検査事例演習の講義を7/27(土)に閉講しました。
今年度も多数の方に受講して頂きました。ありがとうございます。
>> 2019年 7月 7日 TOPSE モデル検査事例演習の講義を7/6(土)より開講しました。
>> 2018年 9月 9日 ソフトウェアエンジニアリングシンポジウム(SES)2018で
ワークショップ「形式手法－導入支援と技術教育」を開催しました。
ウィンターワークショップ2019でもワークショップを開催します。
>> 2018年 6月 4日 ソフトウェアエンジニアリングシンポジウム(SES)2018で
ワークショップ「形式手法－導入支援と技術教育」を開催します。
>> 2018年 4月10日 [公開資料]のページに以下の資料を掲載しました。
「モデル検査コンテストについて」
>> 2018年 3月 6日 国産モデル検査ツールの試作版の開発を完了しました。
今後も世界最速を目指して開発を進めます。
正式リリースは今しばらくお待ちください。
>> 2018年 1月22日 ウィンターワークショップ(WWS)2018・イン・宮島(情報処理学会)で
弊社代表(早水)が以下のタイトルで発表しました。
「モデル検査コンテストについて」
>> 2017年12月28日 12/30(土)～1/3(水)は年末年始のため休業します。
本年は大変お世話になりました。
来年もどうぞよろしくお願い申し上げます。
>> 2017年12月18日 ウィンターワークショップ(WWS)2018・イン・宮島(情報処理学会)で
弊社代表（早水）が以下のタイトルで発表します。
「モデル検査コンテストについて」
>> 2017年11月 5日 ウィンターワークショップ(WWS)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サイトを開設しました。