【年末年始休業のお知らせ】
誠に勝手ながら 2008/12/29(月)~ 2009/1/2(金)を年末年始休業とさせていただきます。なお、12/29は一部の社内システムが停止致しますが、Webやメール受信等に影響はございません。ご迷惑をおかけ致しますが、何卒ご了承くださいますようお願い申し上げます。(社)情報処理学会が主催する 『第11回 組込みシステム研究発表会 [2009/1/13~14] (合同開催:第173回 計算機アーキテクチャ研究発表会)』において、 弊社コンサルタントが「LTSAとSPINを連携させたタスク設計の提案」をテーマに研究発表を行います。
弊社コンサルタントの記事が技術評論社発行の「組込みプレス Vol.13」に掲載されました。大特集の『エンジニアの常識120』の第4章で、様々な疑問に回答しています。
10月30日 東京・東実年金会館にて(社)組込みシステム技術協会が主催する 『第12回 JASA/ETセミナー(有料)』において、 弊社コンサルタントが「製品開発戦略のマネジメント」と題して講演します。
9月19日 東京・ベルサール八重洲にてCQ出版株式会社が主催する 『設計品質&検証技法ワークショップ2008』 のテクノロジ・セミナ(有料)において、弊社コンサルタントが 「組み込みソフトウェア開発における形式手法導入の実際」 と題して講演します。
【夏季休業のお知らせ】
誠に勝手ながら弊社は 8月18日(月)~ 8月20日(水) の期間を夏季休業とさせていただきます。大変ご迷惑をおかけ致しますが、何卒ご了承くださいますようお願い申し上げます。7月30日 『「せっかく書いたのにもったいない !!!」 形式手法でよみがえる "ダイナミック" な UML 』 セミナーは、定員に達したため受付を終了させていただきました。
6月26日 18:00~20:00の間の60分程度、Webサーバー緊急メンテナンスが行われるため、この時間中は弊社Webページが表示できなくなります。ご迷惑をおかけし大変申し訳ありませんがご理解の程、よろしくお願い申し上げます。
6月26日 5:30頃、Webサーバーのトラブルによりご利用ができなくなっておりました。同日10:00頃復旧し表示は再開しております。お客様にはご迷惑をおかけし大変申し訳ありませんでした。深くお詫び申し上げます。
5月30日 第34回 SEA関西プロセス分科会において『動きの設計と検証、さらに自動化』をテーマに、弊社コンサルタントが講師を務めました。ご参加の皆様、ありがとうございました。
6月25日 『UML を使ったモデル検査』をテーマに、イーソル株式会社とスパークスシステムズジャパン株式会社の2社共同で、無料セミナーを開催いたします。ぜひご参加ください。
5月30日 第34回 SEA関西プロセス分科会において『動きの設計と検証、さらに自動化』をテーマに、弊社コンサルタントが講師を務めます。ぜひご参加ください。
4月16日 『“せっかく書いたのにもったいない !!!” ~形式手法でよみがえる "ダイナミック" な UML~ 』 と題して、日本アイ・ビー・エム株式会社、株式会社 SRA、イーソル株式会社の3社共同で無料セミナーを開催します。当日は、弊社コンサルタントが UML を使ったモデル検査 について講演します。ぜひご参加ください。