(toppers-users 2749) Fwd: [k-spin:362] SEA関西プロセス分科会５月のご案内

[SHUKUGUCHI Masahiro]

宿口です。

# 同じお知らせを受け取られた方にはお詫びいたします。

関西方面のセミナーのお知らせです。イーソルの藤倉さんによる「モデル検査」
のツールである「LTSA」を用いた設計・検証方法の解説セミナーが開催されます。

interface誌で連載され、TECH-I にまとめられた内容です。ご興味のある方は
ご参加をご検討ください。

Shukuguchi

"Osamu Kobayashi" <o-kobaya ＠ sra.co.jp> wrote:
> 
>  Subject: [k-spin:362] SEA関西プロセス分科会５月のご案内
>     Date: Sun, 11 May 2008 21:03:29 +0900
>     From: "Osamu Kobayashi" <o-kobaya ＠ sra.co.jp>
> 
> SEA関西 世話人の小林です。
> 
> SEA関西プロセス分科会の次回の予定が決まりましたので、ご案内
> いたします。
> 
> 今回は、組み込みソフトウェア開発の分野でのモデリングと検証技術の
> コンサルタントとしてご活躍中の、藤倉俊幸氏（イーソル株式会社）に
> 講演をお願いしております。
> 
> 形式手法のひとつの大きな分野を成す「モデル検査」のツールのひとつで
> ある LTSA と UML（シーケンス図や状態図）をうまく組み合わせて
> ソフトウェアの動的振る舞いの設計・検証を進める手法について、
> わかりやすく解説していただきます。
> 
> お誘いあわせの上、奮ってご参加ください。
> 
> なお、今回のテーマと関連した藤倉氏の著作として以下のものがあります。
> 関心のある方はご参照ください。
> 
> 　　組み込みソフトウェアの設計&検証
> 　　―割り込み動作からRTOSを使った設計、ツールによる動作検証まで
> 　　(TECH I Embedded Software)
> 　　出版社: CQ出版 (2006/09) 
> 
> 
> ----------------------------------------------------------------
> 〜〜　第34回　SEA関西プロセス分科会のご案内　〜〜
> 
> テーマ：動きの設計と検証、さらに自動化
> 
> 講師　：藤倉 俊幸 （イーソル株式会社）
> 
> 主催　：ソフトウェア技術者協会 関西支部 プロセス分科会
> 　　　　　http://www-ise4.ist.osaka-u.ac.jp/K-SPIN/
> 
> 日時　：2008年05月30日(金) 18:30〜21:00
> 
> 会場　：大阪市立大学文化交流センター
> 　　　　〒530-0001　大阪市北区梅田1-2-2-600
> 　　　　大阪駅前第２ビル６階　ホール
> 　　　　Tel　06-6344-5425　/　Fax　06-6344-5524
> 　　　　http://www.ado.osaka-cu.ac.jp/BUNKO/
> 　　　　周辺略地図 
> 　　　　http://www.media.osaka-cu.ac.jp/Toshi/yoteiti.html
> 
> 　　　　※会場の部屋が通常（大セミナー室）とは異なりますので、
> 　　　　　ご注意ください。（同じビルの同じフロアです。）
> 
> 内容　：
> 　　ソフト開発においてはタスク設計が重要です。セミナーでは、
> 　　モデル検査ツールLTSAについて説明した後、動作要求の仕様化と
> 　　検証、タスク動作への変換について説明します。手順の概要は、
> 　　以下の様になりますが、基本的に小難しい話は無しで進めます。
> 
> 　　1)　動作要求をマインドマップによって表現し、動作仕様を抽出
> 　　　　します。
> 　　2)　各動作仕様をFSP式に変換しLTSAによって実現可能な動作要求
> 　　　　セットを作成します。
> 　　3)　動作要求セットをタスクに分割し、同期構造の設計検証を
> 　　　　実施し、タスク設計仕様を作成します。
> 
> 　　UMLを使用している現場への適用では、動作要求表現として
> 　　シーケンス図や状態図を利用することで、これらの図からFSP式を
> 　　自動生成することが可能になります。UMLへの適用に関する詳細は
> 　　以下のURLを参照してください。
> 　　　　http://www.esol.co.jp/rcs/uml_tool.html
> 
> 参加費用：
> 　　SEA正会員：1,000円，SEA賛助会員：1,000円，
> 　　学生：500円，一般：2,000円
> 
> 　　定員　：120名
> 
> 申込方法：
> 以下のペ‐ジからお申し込みの受付を行っております。
> http://www-ise4.ist.osaka-u.ac.jp/K-SPIN/application.html
> ### 05/28（水）までにお申し込みください ###
> 
> 　ご注意）
> 　・受付は先着順で，定員になり次第〆切とさせていただきます．
> 　　申込受付後のキャンセルは原則としてお断りします．
> 　・メール，FAXなどWebページ以外からの申し込みは受け付けて
> 　　おりません．
> 　・お申し込みの受付け後，確認メールが自動的に返送されます．
> 　　確認メールを印刷し，当日受付時に持参ください．
> 　・申し込み手続きについて不明点などございましたら，下記まで
> 　　ご連絡ください．
> 　　seakansai-office2007 ＠ media.osaka-cu.ac.jp
> 　・参加費は当日会場受付にて現金でお支払いください
> 　 領収書が必要な方は，申し込み時に「領収書要」にチェック
> 　　してください．
> 
> -------
> 世話人：（株）SRA関西事業部　小林　修 
> 
> ================================
> (株)SRA 関西事業部 開発部
> 小林修
> Tel: 06-6536-2331
> E-Mail: o-kobaya ＠ sra.co.jp
> ================================
> 
> 
> 
> 
> --
> ML: k-spin ＠ corot.ics.es.osaka-u.ac.jp
> 使い方: http://QuickML.com/
>