一覧に戻る
発信元：イーソル株式会社 EP事業部営業部
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
::::::: eSOL ONLINE MAGAZINE :::::::
http://www.esol.co.jp/embedded/
== Special Edition ==
2005.11.29
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
eSOL ONLINE MAGAZINEは、イーソルの製品・イベントなどの最新情報を
お届けします。
------------------------◆ TOPICS ◆----------------------------
[ EVENT ]
▼ 【無料】形式手法によるマルチタスク設計体験セミナーを開催
----------------------------------------------------------------
‥[ EVENT ]‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥‥
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
▼ マルチタスク設計、品質向上でお悩みの方へ！！
【無料】形式手法によるマルチタスク設計体験セミナーを開催
～ 12/15(木) ～
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
本セミナーではモデル検査ツールを実際に体験していただきます。
これによって実システムを稼動する前に開発者の意図していなかった
振る舞いを確認し、デッドロックを発見することができます。
こうした形式手法は国内では鉄道の運行システム、非接触型ICカード
などで利用実績があります。
今までバグの発見と信頼性の向上として扱われてきた手法ですが、本
セミナーではこの形式手法を利用してタスクのすべての動作パタンを
生成することで、タスク設計の正しさを確認する方法を紹介します。
皆様の受講をお待ちしております。
* 日時：12月15日(木) 13:00～17:00 (開場 12:00～)
* 会場：イーソル株式会社 本社（ハーモニータワー 22F）
東京メトロ 大江戸線、丸の内線「中野坂上駅」より徒歩1分
http://www.esol.co.jp/embedded/z/051129_01/map.html
※受付は、22F 会場まで直接お越しください。
* 対象者：
・ 製品の信頼性向上に興味のある方
・ RTOSの動きを学習したい方
・ ソースコードにする前に設計検証したい方
・ 要求仕様書からテストケースを作成したい方
・ マルチタスクシステムを設計する方
* 講師：藤倉 俊幸
* 申し込み方法：
貴社名、ご所属、役職、お名前、ご連絡先のE-Mailアドレス、
電話番号をご記入の上、consult@esol.co.jp へご連絡ください。
※ご記入いただきました個人情報は、セミナーの受講とセミナー案
内の目的の為に利用するとともに、ご希望に応じて弊社の製品やサ
ービスに関する各種ご案内をさせていただく場合があります。ご本
人の同意を得ることなく弊社以外の第三者に提供することはありま
せん。本セミナー以外に関するご案内を希望されない場合は、お申
し込みのメールに希望しない旨お書き添えください。ご不明な点は
お問い合わせください。
[セミナー詳細]
http://www.esol.co.jp/embedded/z/051129_01/event_seminar051215.html
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* 記載された社名および製品名は各社の商標または登録商標です。
* このメールは、下記の方にお送りしています。
・弊社Webサイトでメルマガ登録された方
・展示会で弊社ブースにお越しいただいた方
・その他弊社営業の者と名刺交換させていただいた方
* 登録内容の変更/配信中止は、お手数ですが下記にて手続きをお願い
致します。
・アドレス変更:
http://www.esol.co.jp/embedded/mailmagazine_renew.html
・配信中止:
https://www.esol.co.jp/embedded/mailmagazine_unsubscribe.html
[プライバシーポリシー]
http://www.esol.co.jp/company/policy/privacy.html
================================================================
イーソル株式会社
エンベデッドプロダクツ事業部 営業部
http://www.esol.co.jp/embedded/
E-mail: ep-info@esol.co.jp
Tel: 03-5302-1360
〒164-8721 東京都中野区本町1－32－2 ハーモニータワー
================================================================
Copyright(C) 2005 eSOL Co., Ltd. All rights reserved.
このメールマガジンは、編集せずに自由に再配布してください。
