SEA Forum on September 2010のお知らせです。
形式仕様記述手法の実践に関わる連続セミナー：第2回
システム開発への形式手法の適用による品質の確保
〜仕様の可読性向上と形式仕様のテストへの活用を考える〜
主催：ソフトウェア技術者協会
現在、ソフトウェアが社会の隅々にまで利用されているという状況になってきています。もはや、”good enough” というアプローチでソフトウェアの開発に当たることは許されません。しかしながら、ソフトウェアの開発と利用は、これまでとは異なり、不特定多数の、必ずしも利用時のソフトウェアの挙動を十分に認識した人々によってのみなされるものではありません。全ての利用シナリオを開発の開始時に特定することは極めて困難になってきています。即ち、このような状況において、ソフトウェアの仕様を確定するのは困難であるということになります。ソフトウェアはコンピュータ上で稼働する極めて論理的なものであり、予め組み込まれたプログラムとしてしか動きません。予め組み込む論理は、ソフトウェアが動作する時の状況に対応するものになっている必要があります。
形式手法は、以上のような環境において、仕様から設計、コーディング、テスト、運用を通した所謂ライフサイクルにおける一貫性や整合性を保つためのシルバーブレットの一つとして認識されています。しかしながら、形式手法の歴史は 1960 年代にまで遡れるものの、実開発現場での活用は限定されています。
8 月の SEA Forum においては、実開発プロジェクトに形式手法を導入することを決められた開発マネージャから、どのような目的を持って、如何にして種々の想定された問題に対応し、開発チームをリードされたかを話していただきました。
今回 9 月の SEA Forum においては、上記の果敢な決定をし、チームをリードしてきたマネージャのもとチームに参加した開発者が何に遭遇し、それらを如何に解決してきたかについて話していただきます。
多くのみなさんの積極的なご参加をお待ちしています。
開 催 要 領
１．日時：2010年9月13日(月) 開場18:00，開始18:30，終了20:30
２．プログラム
システム開発への形式手法の適用による品質の確保
〜仕様の可読性向上と形式仕様のテストへの活用を考える〜
ソニー株式会社 FeliCa 事業部 プラットフォーム開発部 2 課
中津川 泰正
フェリカネットワークス株式会社 開発部 2 課 統括課長
栗田 太郎
FeliCa カードや「おサイフケータイ」の開発プロジェクトにおいて，形式仕様記述手法の適用により品質を確保した導入事例とともに，形式仕様記述手法とその周辺の技術習得，仕様記述の具体的な方法，仕様の可読性向上と検証，形式仕様のテストへの活用に向けた取組み等を紹介する．
1. 形式仕様記述手法適用の効果
〜仕様の品質と伝達力の向上に向けて〜
2. 形式仕様記述手法の技術導入
〜仕様記述を学んだ過程〜
3. 形式手法の周辺技術
〜契約による設計やプロブレムフレーム〜
4. 仕様記述と検証の理想と現実
〜初めての仕様記述とその課題〜
5. 開発現場における課題への取り組み (1)
〜仕様の読みやすさと仕様の動作の両立〜
6. 開発現場における課題への取り組み (2)
〜仕様の書きやすさと仕様検証の両立〜
7. 開発現場における課題への取り組み (3)
〜形式仕様を用いたプログラムの仕様準拠テスト〜
３．会場： フェリカネットワークス株式会社
東京都品川区大崎 1-11-1
ゲートシティ大崎 ウェストタワー 16 階
http://www.felicanetworks.co.jp/company/map.html
４．定員： 60名（申込み順，定員になり次第，受付を締め切ります）
５．参加費：SEA正会員・学生 1,000円，SEA賛助会員 2,000円，一般 3,000円
６．申込み方法： 下の申込み票に必要事項を記入して，下記SEA事務局宛てにe-mail（テキストメールのみ，HTMLや添付ファイルは不可）でお申込みください．折り返し受付確認のmailを返信します．
申し込みアドレス： forum [at-mark] sea.jp
７．参加当日：参加費は，当日現金でお支払いください．領収書をさしあげます．申込み受付後のキャンセルは認められません．何らかのご都合で参加が不可能になった場合は代理をお立て下さい．
———————————————————-
SEA Forum Sep. 2010 (9/13 @ フェリカネットワークス) 参加申込み
氏名：__________________ ふりがな：（______________________)
E-mail: _____________________________
種別（いずれかにチェック・記入）：
□ ＳＥＡ会員（No: ）
□ ＳＥＡ賛助会員 (会社名: ）
□ 一般
領収書の宛名：___________________________
———————————————————–
*注：賛助会員企業一覧：http://www.sea.jp/sanjo.txt
—（mail to: forum [at-mark] sea.jp テキストメールに限る）—