システム開発への形式手法の適用による品質の確保
〜仕様の可読性向上と形式仕様のテストへの活用を考える〜

　 　　　　主催：ソフトウェア技術者協会

　 　　　　　　　　参加者募集
　　　　　　　
----------------------------------------------------------

現在、ソフトウェアが社会の隅々にまで利用されているという状況
になってきています。もはや、"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 @ sea.jp

７．参加当日：
　　　参加費は，当日現金でお支払いください．領収書をさしあげ
　　　ます．申込み受付後のキャンセルは認められません．何らか
　　　のご都合で参加が不可能になった場合は代理をお立て下さい．

----------------------------------------------------------
SEA Forum Sep. 2010
(9/13 @ フェリカネットワークス)参加申込み

氏名：__________________ ふりがな：（______________________)
E-mail: _____________________________
種別（いずれかにチェック・記入）：　
　　　　□ ＳＥＡ会員（No: 　　　　）
　　　　□ ＳＥＡ賛助会員 (会社名:　　　　　）　
　　　　□　一般
領収書の宛名：___________________________

----------------------------------------------------------

*注：賛助会員企業一覧：http://www.sea.jp/sanjo.txt
---（mail to: forum @ sea.jp テキストメールに限る）---
----------------------------------------------------------