【お知らせ】参加無料 形式手法による「検証ソリューション」セミナーを開催します

【お知らせ】参加無料 形式手法による「検証ソリューション」セミナーを開催します

2010年5月26日 (水)

参加無料 形式手法による「検証ソリューション」セミナーを開催します


受付を終了しました。
--
先日のESECで好評をいただきました、
"形式手法による「検証ソリューション」"に関する技術セミナーを開催します。

形式手法はソフトウェアの"正しさ"を論理的に検証する技術です。
ソフトウェアの安全性についての関心の高まりとともに、近年、特に注目を集めています。
しかしながら、形式手法は数学を基礎とするためか、難しく現場の導入が困難であるとお考えの方も多いようです。

本セミナーでは、現場で使えることにこだわった結果編み出した、誰でも知っているC言語による仕様検証、ソースコード検証、テストケース生成、デバッグ、リファクタリング支援などの各種技術と導入方法をご紹介します。
また、組込みソフトに必須の並列・並行動作のモデリングからタスク設計・検証手法についてもUML図やソースコードからのモデル検査用モデルの自動生成をベースとした手法をご紹介します。

とにかく使えることにこだわった目から鱗の実践的な形式手法の技術について広く紹介するセミナーです。

講師は、形式手法に関する知見・経験の豊富なコンサルタントである藤倉俊幸が担当いたします。
形式手法にご興味のある方は、ぜひこの機会にセミナーをご受講ください。

また、セミナー終了後に無料相談会を行います。
具体的な相談をご希望の方は、申し込み時にその旨お書きください。
※無料相談会は残席僅かのため、お受けできない場合もあります。

・開催日    : 2010年7月2日 14:00~17:00
・場所       : 東京都港区芝5-33-7 徳栄ビル本館 9F
・定員       : 30名(定員になり次第締め切ります)
・受講料    : 無料
・お申込み :https://www.exmotion.co.jp/seminar/apply.html
・お問合せ : info@exmotion.co.jp


【お知らせ】参加無料 形式手法による「検証ソリューション」セミナーを開催します|一覧へ戻る

【お知らせ】参加無料 形式手法による「検証ソリューション」セミナーを開催します|pagetop