「さつき」無料講習会
開催のご案内
| 開催日時 |
2011年2月2日（水） 13：30～17：00 |
| 開催場所 |
産業技術総合研究所関西センター OSL棟201号室 |
| 定員 |
6名程度（先着順） |
| 募集締切 |
1月21日（金） |
| 主催 |
組込みシステム産業振興機構
産業技術総合研究所 組込みシステム技術連携研究体 |
開催内容
1. 入門モデル検査
モデル検査の概要、使用する利点、仕様の記述法の初歩などを解説します。
2. 「さつき」を使ってみよう
リモートから「さつき」にアクセスし、形式処理システムの利用や、複数ノード上で多数のプロセスを実行する体験をしていただきます。
3. 実習モデル検査
簡単な仕様の作成、検査の実行などモデル検査の体験をしていただきます。
対象者
- モデル検査に興味のある方。
- ある程度のプログラムが書ける方。
- ログインサーバーとクラスターノードの OS は Linux ですので、コマンドラインから簡単な操作ができる方。
申込方法
お申込みは、e-mailで参加者の、
氏名：
会社名：
所属・役職：
連絡先
電話：
FAX:
E-Mailアドレス：
をご記入の上、esip_info@kansai-kumikomi.netまでお送りください。
「さつき」、「モデル検査」に関心をお持ちの方は、是非お申込みください。
皆様からのお申込みをお待ちしております。
↑ページトップへ
