形式的仕様記述手法 VDM ワークショップ

講師
酒匂寛（Designer’s Den）
栗田太郎（フェリカネットワークス）
小田朋宏（SRA）
佐原伸（法政大学大学院情報科学研究科兼任講師）

主催　：ソフトウェア技術者協会 関西支部 プロセス分科会
後援　：独立行政法人 情報処理推進機構

日時　：2014年8月30日(土) 10:00～18:00 (9:45 開場)

会場　： 株式会社SRA 関西事業部 会議室
〒541-0058 大阪市中央区南久宝寺町3-1-8
本町クロスビル2F

内容　：
ITシステムが社会の様々な分野に浸透し，その重要性を増すに従って，様々な立場・背景の関係者がその仕様を誤解なく理解し，開発を矛盾無く進めていくことのできる方法論・手法が求められています．その為に，数理的な理論に基づく厳密な定義と分析・検証を可能とする「形式手法」が注目されています．
「形式手法」は，長いコンピュータサイエンス・ソフトウェア工学の歴史の中で研究が積み重ねられ，近年，理論・実装面の進展やハードウェア性能の向上に伴って，現実のシステムへの応用が進みつつあります．
今回のワークショップでは，形式手法の中でも特に長い歴史と実績を持つ手法・環境であるVDM（Vienna Development Method）を取り上げ，講演と演習を通して，実践的に理解することを目指します．
講師として，VDMを中心とする形式手法の日本での普及活動に早くから尽力され，技術解説書の翻訳出版やコンサルティング活動で著名な酒匂寛氏・佐原伸氏，フェリカのプロジェクトでVDMの導入で大きな実績を上げた栗田太郎氏，ツール開発で先進的な仕事をされている小田朋宏氏をお招きし，仕様記述の基本概念の解説から実プロジェクトへの導入事例紹介，VDM言語のチュートリアルと演習までを含む，本格的なワークショップとなります．

プログラム　：
10:00 – 11:00 講演「厳密な仕様の位置付けと意味」（講師 酒匂寛）
11:00 – 12:00 講演「システム開発への形式手法の適用による品質の確保」
（講師 栗田太郎）
12:00 – 13:00 昼休み
13:00 – 15:00 VDM言語チュートリアル（講師 小田朋宏）
15:00 – 17:00 VDMPadによる仕様記述演習（講師 佐原伸）
17:00 – 18:00 全員で質問大会

講演「厳密な仕様の位置付けと意味」
厳密な仕様の位置づけと意味について，集合・列・写像の概念を援用しながら，以下
の観点から考察します．
課題ー仕様ー設計
言葉の曖昧さと形式仕様記述
問題領域と機械（指示と定義）
事前・事後・不変条件

講演「システム開発への形式手法の適用による品質の確保」
少人数ではないチームにおいて，設計や実装，テストを正確に行い，品質を確保する
ために，また，運用や保守，派生開発において品質を維持し続けていくために，仕様
や文書はどのような役割を果たすのか．
「おサイフケータイ」の開発プロジェクトにおける，形式仕様記述手法の適用により
品質を確保した事例とともに，文書の記述力やチームのコミュニケーション力を向上
させるための取組みとその結果を紹介しながら，そのことについて考えます．

VDM言語チュートリアル
簡易ウェブIDEであるVDMPadを使って，VDM-SLの主要な構文要素を解説します．
VDM-SLはシステムの状態や機能をモジュール化して記述することができる仕様記述
言語であり，VDMのエッセンスを学ぶことができます．

VDMPadによる仕様記述演習
大規模システムの仕様記述に用いられた手法のエッセンスを，小さな演習を通して伝
授します．

演習の環境について　：

演習を行う為，参加の際にはパソコンの持参をお願いいたします．
演習では，講師の小田朋宏氏により開発されたツール “VDMPad” を使用します．
講師のパソコンをVDMPadのサーバにして，Webブラウザでアクセスして使用しますの
で，パソコンには事前に google chrome または firefox のインストールをお願いします．
パソコンには Wifi 接続の機能が必要となります．
なお、Mac または Linux をお使いの方は、VDMPadは以下よりダウンロードできます．
（Windowsは未対応）
http://sourceforge.net/projects/vdmpad/
また，VDMに関する技術情報が以下のWebページで公開されていますので，ご参照くだ
さい．
http://www.vdmtools.jp/
※ PCをご持参できない場合，演習は他の参加者とのペア作業，または見学となりますの
で，ご了承下さい．
※ 会場には外部とのインターネット接続の設備はありません．

講師紹介

酒匂寛（さこう ひろし）
有限会社デザイナーズデン代表取締役社長
開発環境，構造化手法，オブジェクト指向，開発方法論などに80年代より取り組む．
大規模ミッション・クリティカルシステム，リアルタイムシステム，統合開発環境な
どの調査，開発，コンサルティングに携わる．
主な訳書
（バートランド・メイヤー）「オブジェクト指向入門」
（ジョン・フィッツジェラルド他）「VDM++によるオブジェクト指向システムの
高品質設計と検証」
（マイケル・ジャクソン）「ソフトウェア要求と仕様」．

栗田太郎（くりた たろう）
1971 年生まれ．1999 年からソニー，2004 年からフェリカネットワークスにてモバ
イル FeliCa の開発に携わる．形式手法を活用したソフトウェア開発やプロジェクト
マネジメント等に従事．
博士（情報科学）．

小田朋宏（おだともひろ）
1969年生まれ．1994年より株式会社SRA．同社米国ボウルダー研究所勤務を経て2010
年より同社先端技術研究所研究員．VDMPadの開発をはじめ，形式手法の適用範囲を
広げるための研究開発に携わりながら，Smalltalk，Python，Haskellによるソフトウェ
ア受託開発およびオープンソース開発に従事．
2003年度未踏プロジェクト．

佐原伸（さはら しん）
1951年生まれ．1975年から野村コンピュータシステム（現野村総合研究所），
SRA，SCSKなどを経て，2011年から法政大学大学院情報科学研究科兼任講師．
UNIX導入による開発環境構築，構造化手法導入による証券オンラインシステム開発，
オブジェクト指向導入による原発のシミュレーションツール開発，形式手法導入によ
る証券バックオフィスシステムとおさいふケータイの開発などに関わる．
Formal Method Europe会員，VDM Langauge Boardメンバー．

参加費用：
SEA正会員：1,000円
SEA賛助会員：1,000円
学生：500円
一般：2,000円
※ 懇親会参加費は別途実費負担

定員　：16名

申込方法：
以下のペ‐ジからお申し込みの受付を行っております．
http://kokucheese.com/event/index/199865/
### 8/29(金)21:00までにお申し込みください ###
ご注意）
• 受付は先着順で，定員になり次第〆切とさせていただきます．
• メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
• お申し込みの受付け後，確認メールが自動的に返送されます．確認メールを印刷し，
当日受付時に持参ください．
• 当日は休日につきビルの玄関が閉まっています．入館にはスタッフの案内が必要で
すので，9:45〜10:00の間に入館していただくようお願い致します．万一，入館が
遅れる場合は，必ず以下のメールアドレスまで，入館予定時刻のご連絡をお願い
致します．
seakansai-req@sea.jp
• 申し込み手続きについて不明点などございましたら下記までご連絡ください．
seakansai-req@sea.jp
• 参加費は当日会場受付にて現金でお支払いください
• 領収書が必要な方は，申し込み時に「領収書要」にチェックしてください．

　　　　　　　　　　新しいソフトウェア品質を学ぶ
　−SQuaRE (Software product Quality Requirements and Evaluation)−

　　　　　　　　　　　　　　　参加者募集
───────────────────────────────────

皆さん，古いソフトウェア品質を実践していませんか?

　ソフトウェアの品質と云うと，ISO 9126 を思い浮かべる貴方，

　評価プロセスの ISO 14598 が思い浮かぶ貴方，

少々，古くなっているかもしれないですよ!

昨今，この ISO 9126 と ISO 14598が，最新技術開発の流れからその内容が見
直されていて， SQuaRE (Software product Quality Requirements and
Evaluation) という新しい規格に変わりつつあります．

今回は，この規格制定の中心となって尽力された，日本電気の込山さんをお招
きして，SQuaRE をどう使ったら楽しくソフトウェアの開発・保守ができるの
かをお話ししていただきます．

多くの皆さまの積極的なご参加をお待ち申しあげております．どうぞよろしく
お願いいたします．

────────────── 開 催 要 領 ──────────────

◆1. 日時: 2013 年 12 月 10 日 (火曜日) 18:30〜20:35

◆2. プログラム

　18:00〜18:30 受付

　18:30〜18:35 オープニング
　　　　　　　　　　田中 一夫 (アイエックス・ナレッジ)

　18:35〜19:30 SQuaRE 入門
　　　　　　　　　　込山 俊博 (日本電気)

　19:30〜20:30 [議論] 効果的な SQuaRE の使い方

　20:30〜20:35 クロージング

◆3. 会場

　フェリカネットワークス株式会社 受付会議室
　　　東京都品川区大崎 １-11-１
　　　ゲートシティ大崎 ウエストストタワー 16 階
　　　http://www.felicanetworks.co.jp/company/map.html

◆4. 定員: 35 名

　お申し込み順です．定員になり次第受け付けを締め切ります．

◆5. 参加費

　30 歳未満: 1,000 円
　30 歳以上:
　　SEA 正会員: 1,000 円
　　SEA 賛助会員: 2,000 円
　　一般: 3,000 円

◆6. お申し込み方法

　下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに電子メール
でお申し込みください．折り返し受け付け確認のメールをお送りいたします．

　お申し込みメールアドレス: forum [at-mark] sea.jp

◆7. その他

　参加費は当日現金でお支払いください．領収書を発行いたします．

───────────────────────────────
◆SEA Forum / SEA SPIN Forum in December 2013◆
　氏名: ，ふりがな:
　メールアドレス:
　種別 (いずれかにチェック，記入)
　　□SEA 会員 (No: )
　　□SEA 賛助会員 (会社名: )
　　□30 歳未満
　　□一般
　領収書の要否: 必要・不必要
　領収書の宛名:
　懇親会に参加: する・しない
───────────────────────────────
注: 賛助会員企業一覧: http://www.sea.jp/sanjo.txt
───────────────────────────────

SEA SPIN 坂本記念Workshop

テーマ：定量化の10年後

発表者・参加者募集

主催：SEA プロセス分科会（SEA-SPIN）

故・坂本啓司さんは，日本にソフトウェア・プロセス改善を導入したひとりではないでしょうか？坂本さんの遺稿となったのは，日経コンピュータ　2001.7.30「実践ＩＴマネジメント?「ＣＭＭ」で陥りがちな“罠”を理解せよ」でした．読まれたかたも多いと思います．早いもので，あれから１２年が経ちました．故・坂本啓司さんは，生前「プロセス改善は井の中の蛙じゃだめだよ．色々な会社や組織の人と話すことで自分たちの間違いに気づき，また，自分たちの誤った路を教えてあげることが日本の IT 業界全体で正しいプロセス改善を進める上で役立つ」とおっしゃっていました．

日本におけるプロセス改善の先駆者としてわれわれに真のプロセス改善の路を指導してくださった坂本さんの思想 (サカモトイズム)  を，もう一度反芻すべく，ここにワークショップを開催したいと思います．

************************* 開催要領 ***************************

１．日時：2013年7月19日（金）13:00 − 7月20日(土）16:00

２．会場：琵琶湖カンファレンスセンター

滋賀県彦根市新海浜2-1-1
http://www.biwako-cc.com/conference/access/index.html
JR能登川駅より，送迎バスまたはタクシーで約10分

３．プログラム：コーディネータ 田中一夫

7月19日(金)
13:00〜13:30　受付
13:30〜17:30　発表＆討議
18:30〜20:30　情報交換会
7月20日(土)
09:00〜12:00　発表＆討議
12:00〜13:00　昼食
13:00〜15:30　パネル討論「定量化の10年後」
15:30〜16:00　クロージング

４．発表予定者（発表順ではありません）

※発表者を受け付けています．
秋山義博，伊藤昌夫，小笠原秀人，岸田孝一，楠本真二，新谷勝利，
高木徳生，田中敏文，奈良隆正，濱崎治，藤野誠治，松原友夫，
松本健一，水野修

５．参加費

SEA正会員：10,000円，SEA賛助会員：12,000円，一般：15,000円

６．定員：先着60名

７．申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTML メールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

***** お申込みは1人ずつお送り下さい *****
なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

…………………………………………………………………………………
SEA-SPIN WorkShop 参加申込用紙 2013-7-19/20

氏名 (ふりがな)  ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail      ：____________________________
発表：する/しない　←選択してください

種別(該当欄にチェック)：
□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー (参加費は一般と同じ)
□ 一般
参加費：＿＿＿円
領収書宛先：_______________________

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA SPIN Meeting April 2013

テーマ：アジャイル開発とスクラム

参加者募集

主催：SEA プロセス分科会（SEA-SPIN）

日本でも採用が進んできたアジャイル開発ですが，その根底には，80年代日本の製造業で行われていた暗黙知を利用した新製品開発手法があります．現在アジャイル開発において注目されている「スクラム」という名前は、野中郁次郎らが1986年に書いた「The New New Product Development Game」に由来しており，そこには，製品への要求を顧客との共体験を通して学び取り，それを仕様書ではなく体で開発に運ぶ，思いの伝達者としてのプロダクトオーナーの姿，すなわち，実践知リーダーシップのありかたが生き生きと書かれています．

今回の例会では，近刊書籍『アジャイル開発とスクラム〜顧客・技術・経営をつなぐ協調的ソフトウェア開発マネジメント』の中から，知識創造モデル，および，実践知リーダーシップを中心に平鍋さんから話して頂きます．終了後、平鍋さんを囲んで情報交換会を行います．皆さんの参加をお待ちしてます．

************************* 開催要領 ***************************

1．日時：2013年4月25日（木）18：30 – 20：30

2. 会場：田町駅周辺（申し込まれた方に、開催場所のご案内を送ります）

3．プログラム：コーディネータ 田中一夫

話者  平鍋健児（株式会社チェンジビジョン代表取締役社長）

18:00〜18:30 受付及びネットワーキング
18:30〜20:30 発表及び討論
20:30〜20:35 クロージング（次回予告，後片付け）

4. 参加費

SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください.[HTML メールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

***** お申込みは1人ずつお送り下さい *****

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てくださ
い．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

…………………………………………………………………………………

SEA-SPIN Meeting 参加申込用紙 2013-4-25
「アジャイル開発とスクラム」

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

種別(該当欄にチェック)：
□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー (参加費は一般と同じ)
□ 一般
参加費：＿＿＿円

□ 情報交換会に参加する（費用は参加費には含まれていません）

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting January 2013

テーマ：アプリケーション自動生成Toolの肝

 – ウルグアイ生まれのGeneXusの推論エンジンについて –

参加者募集

主催：SEA プロセス分科会（SEA-SPIN）

電機業界を始めとして，長引く不況に日本の企業のシステム投資も削減され，IT業界は厳しい状況にあります．そんな中で開発コストと期間を大幅に短縮するということでたいへん注目をあびているのが超高速開発ツールといわれている製品です．あまた自動生成ツールがあるなかでひときわ注目をあつめているウルグアイの製品GeneXusの日本の販売総代理店を招き，推論エンジンについて紹介してもらいます．いままでのツールとなにが違うのか，そしてこれらのツールがソフトウエア開発プロセスにどのような影響を与えるのか（ウォーターモデル，アジャイル開発，ドキュメンテーション，さらにはIT業界（自社開発，SIer，オフショア）にどのようなインパクトをもたらすか，議論できればと思います．ウルグアイのArtechの技術者も参加します．

************************* 開催要領 ***************************

1．日時：2013年1月18日（金）18：30 〜 20：30

2. 会場：港区立男女平等参画センター 集会室３

東京都港区芝浦3-1-47
http://www.minatolibra.jp/etc/access.html
TEL (03) 3456-4149
田町駅東口（芝浦口） 徒歩2分

3．プログラム：コーディネータ 田中一夫

18:00〜18:30 受付及びネットワーキング
18:30〜20:30 発表及び討論
20:30〜20:35 クロージング（次回予告，後片付け）

4. 参加費

SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください.[HTML メールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

***** お申込みは1人ずつお送り下さい *****

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てくださ
い．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

…………………………………………………………………………………

SEA-SPIN Meeting 参加申込用紙 2013-1-18
「アプリケーション自動生成Toolの肝」

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

種別(該当欄にチェック)：
□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー (参加費は一般と同じ)
□ 一般
参加費：＿＿＿円

□ 情報交換会に参加する（費用は参加費には含まれていません）

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting November 2012

テーマ：セキュリティ問題とソフトウェアプロセス

参加者募集

主催：SEA プロセス分科会（SEA-SPIN）

ソフトウェアエンジニアリング（プロセス改善）のコミュニテイとセキュリティのコミュニティは，思いとしているものが，かなりすれ違っているように見えます．最近は，安全性（Safety）という課題が，そうした溝を埋めてくれるかもしれないという見方もあります．９月の例会では安全性の観点が取り上げられましたので，引き続き地味なテーマの面もありますが，セキュリティ問題をソフトウェアプロセスに引き付けて考えてみたいと思います．

この議論は，いろいろな面からできると思いますが，国際規格がどのようにセキュリティの問題とソフトウェアプロセスの問題をすれ違ってとりあげているかを押さえたうえで，最近はそれらの相互乗り入れがどのように進んでいるかを具体的に点検してみたいと思います．

この例会のテーマを設定したときに，セキュリティの課題といっても開発の視点と運用の視点とあるだろうという意見もありました．今回は，いわゆる品質特性の一部としてのセキュリティという見方ではなく，セキュアなソフトウェア，システムの開発と運用を，どのようにプロセスの課題の中で広く実現していくのか，それを実現できる要員，リソースはどのように確保できるのかという視点からの討議（素材提供）をしてみたいと思います．

多くのみなさまの参加をお待ちしています．

なお，例会終了後，いつものように，情報交換会を開催する予定です．

************************* 開催要領 ***************************

1. 日時：2012年11月05日(月) 18:30 ～ 20:30

2. 会場：港区立男女平等参画センター 集会室３

 東京都港区芝浦3-1-47
http://www.minatolibra.jp/etc/access.htmll
TEL (03) 3456-4149
田町駅東口（芝浦口） 徒歩2分

3. プログラム：コーディネータ 伏見 諭

 18:00～18:30 受付及びネットワーキング
18:30～20:30 発表及び討論
20:30～20:35 クロージング（次回予告，後片付け）

4. 参加費

 SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください.[HTML メールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

***** お申込みは1人ずつお送り下さい *****

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てくださ
い．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

…………………………………………………………………………………

SEA-SPIN Meeting 参加申込用紙 2012-11-05
「セキュリティ問題とソフトウェアプロセス」

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

種別(該当欄にチェック)：
□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー (参加費は一般と同じ)
□ 一般
参加費：＿＿＿円

□ 情報交換会に参加する（費用は参加費には含まれていません）

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting September 2012

テーマ：システムの安全性
– 新規格 ISO 26262 Part10 をソフトウェア視点から考える –

参加者募集

主催：SEA プロセス分科会（SEA-SPIN）

今月（8月1日），最後まで残っていた ISO 26262 Part 10 が正式発行されました．良い機会ですので，3月のセーフティケースに引き続き，安全性シリーズとして ISO 26262 が持つ安全性へのアプローチをソフトウェア視点から考えてみたいと思います．

今回は規格の詳細に立ち入ることはせずに．システムの安全性を担保する枠組みを考えた上で，その中に ISO 26262 を位置づけようと思います．俯瞰することで，これから ISO 26262 を理解しようとする方も既に概要についてご存じの方も，より理解が深まるのではと思います．

安全性は，ソフトウェアに携わる我々が（濃淡はあったとしても）考えるべき性質だろうと思います．また，今回の議論は安全性に限らず，ソフトウェアプロセスにおける「確認」のための活動と関係しています．

多くのみなさまの参加をお待ちしております．

なお，例会終了後，いつものように，情報交換会を開催する予定です．

************************* 開催要領 ***************************

1. 日時：2012年9月26日(水) 18:30 〜 20:30

2. 会場：笹塚区民会館 会議室1号

東京都渋谷区笹塚3-1-9
http://www.city.shibuya.tokyo.jp/est/kmkaikan/km_sasazuka.html
TEL (03) 3377 1060
京王線（京王新線）笹塚駅　徒歩8分

3. プログラム：コーディネータ 伊藤 昌夫

18:00〜18:30  受付及びネットワーキング
18:30〜20:30  発表及び討論
20:30〜20:35 クロージング（次回予告，後片付け）

4. 参加費

SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTML メールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

***** お申込みは1人ずつお送り下さい *****

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．
申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

…………………………………………………………………………………
SEA-SPIN Meeting 参加申込用紙 2012-9-26

「システムの安全性」

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

種別(該当欄にチェック)：
□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー (参加費は一般と同じ)
□ 一般
参加費：＿＿＿円

□ 情報交換会に参加する（費用は参加費には含まれていません）

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting August 2012

テーマ：EuroSPI 報告

参加者募集

主催: SEA プロセス分科会（SEA-SPIN）

6月25日-27日に EuroSPI 2012（http://2012.eurospi.net/）がウィーンで開催されました．今年で19回目を迎える国際会議ですが，音楽と美術の街ウィーンの魅力に惹かれて，日本からも多くの方が参加されました．

今月の SPIN 例会では，Industrial部門の最優秀論文賞を受賞された宮本祐子さんをお招きし，受賞論文の内容について，また日欧の違いや会議の感想などもお話していただきます．今年の会議に参加された SEA-SPINメンバーの方々からも，それぞれの視点からの報告をお願いしたいと思います．

ヨーロッパにおけるソフトウェア・プロセス改善をめぐる動きがどうなっているかを知るよい機会だと思います．ふるってご参加ください．

なお，例会終了後，いつものように，発表者を囲んでの情報交換会を開催する予定です．

**************** 開催要領 *****************

1. 日時：2012年8月27日(月) 18:30 ～ 20:05

2. 会場：港区立男女平等参画センター　リーブラ 4F 集合室 3

港区芝浦3-1-47　（田町駅東口徒歩2分）

会場案内にはSEAではなく「田中」と出ています

3. プログラム：コーディネータ 田中一夫

18:00～18:30  受付及びネットワーキング
18:30～20:30  報告及びディスカッション

講演者

Process Assessment Model Optimization towards Introduction of Light Assessment in Space Development  宮本祐子（JAXA)

  話題提供者

岸田 孝一（SRA)
奈良 隆正（NARAコンサルティング）
伊藤 昌夫（ニルソフトウェア）
小笠原 秀人（東芝）

4. 参加費：

 SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTMLメールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

**** お申込みは1人ずつお送り下さい ****

なお，情報交換会費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

………………………………………………………………………………
SEA-SPIN Meeting 参加申込用紙 2012-8-27

「EuroSPI報告｣

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

種別(該当欄にチェック)：

□ SEA正会員 (No. )←会員番号を記入
□ SEA賛助会員
□ SPIN ML メンバー
□ 一般

参加費：       円

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt
受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting July 2012

テーマ：「プロセス改善」全員スピーチ

参加者募集

主催: SEA プロセス分科会（SEA-SPIN）

今回のSPINは，特別な講師は招聘せず，参加者全員で語り合いたいと思います．プロセス改善について，参加者それぞれの観点，立場で短時間のプレゼンテーショ(Lightning Talk)をお願いします．お互いに刺激を受けて，挑戦する元気を分かち合いましょう．一人当たりの持ち時間は最大5分とします．資料を用意する/しない，配布する/しないは，各自にお任せします．プロジェクタは用意しておきます．参加者全員，短時間で結構ですので，何がしか語ってください．
セッション終了後，引き続き情報交換会で，議論を深めて頂く予定です．皆さんの参加をお待ちしております．

**************** 開催要領 *****************

1. 日時：2012年7月24日(火) 18:30 ～ 20:05

2. 会場：江東区豊洲3-3-9 ＮＴＴデータ

豊洲センタービルアネックス 23階 食堂

有楽町線豊洲駅に隣接（詳細）

3. プログラム：コーディネータ 端山毅

17:30～18:00  受付及びネットワーキング
18:00～19:00  Lightning Talk
19:00～20:00  情報交換会
20:00～20:05  クロージング（次回予告，後片付け）

4. 参加費：1,000円（今回は一律です）

5. 定員：先着20名

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTMLメールや添付メールは不可] 出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

**** お申込みは1人ずつお送り下さい ****

なお，情報交換会費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

** 次の申込み票をメール本文に貼り付けて記入してください **

………………………………………………………………………………
SEA-SPIN Meeting 参加申込用紙 2012-7-24

「プロセス改善」全員スピーチ

氏名 (ふりがな)   ：__________ (______________)
会社名／所属組織名：_______________________
E-Mail            ：____________________________

スピーチのテーマ  ：___________________________________________
スピーチ時間      ：______分（最大5分．参加者多数の場合，短縮をお願いすることがあります）

種別(該当欄にチェック)：

 □SEA正会員 (No. )←会員番号を記入
□SEA賛助会員
□SPIN ML メンバー
□一般

参加費：1,000円

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt
受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報

SEA SPIN Meeting May 2012

(5月定例ですが、都合で開催日が6月になりました）

テーマ：「Ｗモデル」

参加者募集

主催: SEA プロセス分科会（SEA-SPIN）

四月の「テスト設計」で，テストでのＷモデルが云われているが、実態は，どうなんだろうと言う話がありました．今回は，Ｗモデルについて，実態を知っている鈴木三起夫さんにお話して頂きます．

今回は，Ｗモデルに関し以下の内容をお話し頂きます．

• 識者によって内容が異なるＷモデルの整理
• Ｗモデルは、こうすれば失敗する
• Ｗモデルの成功例/失敗例の実例

この内容に沿って，参加者との議論を進めながら，Ｗモデルの理解をより深めたいと思います．

ミーティング終了後，講演者を囲んで情報交換会を開催します．皆さんの参加をお待ちしてます．

**************** 開催要領 *****************

1. 日時：2012年6月8日(金) 18:30 ～ 20:30

2. 会場：港区　芝浦港南区民センター

会場案内
港区芝浦4-13-1　（詳細）
交通：JR: 田町駅下車　東口徒歩10分
地下鉄　三田線・浅草線: 三田駅下車　A4出口徒歩12分
都営バス(浜95系統、田92系統） : 八千代橋下車　徒歩2分
港区コミュニティバスちいばす
芝浦港南ルート173番・192番「八千代橋東」下車徒歩2分

3. プログラム：コーディネータ 田中　一夫

18:00～18:30 受付及びネットワーキング

18:30～20:00 報告およびディスカッション

20:00～20:05 クロージング(次回予告，及び後片付け等)

4. 参加費用：

SEA正会員：1,000円，SEA賛助会員：2,000円，一般：3,000円

5. 定員：先着20名

(申込多数の場合はSEA正会員を最優先し，以下 SEA賛助会員，
SEA-SPINメンバ，一般参加の順での先着順となります)

6. 申込方法：

下記申込用紙に必要事項を御記入の上，E-Mail[テキストのみ]でお申込みください．[HTMLメールや添付メールは不可]　出席の際には，申し込みメールを印刷してお持ちになり，会場受付にご提示下さい．

*** お申込みは1人ずつお送り下さい ***

なお，参加費は当日会場受付にて現金でお支払いください．(領収書を差し上げます)．申込受付後のキャンセルはできません．代理参加者をお立てください．

申込み宛先: spin-entry2010(at)sea(dot)or(dot)jp

***次の申込み票をメール本文に貼り付けて記入してください．***

………………………………………………………………………………

SEA-SPIN Meeting 参加申込用紙 2012-6-8

「Ｗモデル」

氏名 (ふりがな)：__________ (______________)
会社名／所属組織名： _______________________
E-Mail: ____________________________

種別(該当欄にチェック)：
□SEA正会員 (No. )←会員番号を記入
□SEA賛助会員
□SPIN ML メンバー (参加費は一般と同じ)
□一般
参加費：＿＿＿円

情報交換会(該当欄にチェック)：
□参加
□欠席

*注：賛助会員企業一覧 http://sea.jp/sanjo.txt

受付済みの連絡はしません．お断りする場合には，メールでご連絡します．

SEA-SPIN その他情報