イベントカレンダー

SEA Forum on September 2010のお知らせです。

形式仕様記述手法の実践に関わる連続セミナー：第2回

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

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

現在、ソフトウェアが社会の隅々にまで利用されているという状況になってきています。もはや、”good enough” というアプローチでソフトウェアの開発に当たることは許されません。しかしながら、ソフトウェアの開発と利用は、これまでとは異なり、不特定多数の、必ずしも利用時のソフトウェアの挙動を十分に認識した人々によってのみなされるものではありません。全ての利用シナリオを開発の開始時に特定することは極めて困難になってきています。即ち、このような状況において、ソフトウェアの仕様を確定するのは困難であるということになります。ソフトウェアはコンピュータ上で稼働する極めて論理的なものであり、予め組み込まれたプログラムとしてしか動きません。予め組み込む論理は、ソフトウェアが動作する時の状況に対応するものになっている必要があります。

形式手法は、以上のような環境において、仕様から設計、コーディング、テスト、運用を通した所謂ライフサイクルにおける一貫性や整合性を保つためのシルバーブレットの一つとして認識されています。しかしながら、形式手法の歴史は 1960 年代にまで遡れるものの、実開発現場での活用は限定されています。

8 月の SEA Forum においては、実開発プロジェクトに形式手法を導入することを決められた開発マネージャから、どのような目的を持って、如何にして種々の想定された問題に対応し、開発チームをリードされたかを話していただきました。

今回 9 月の SEA Forum においては、上記の果敢な決定をし、チームをリードしてきたマネージャのもとチームに参加した開発者が何に遭遇し、それらを如何に解決してきたかについて話していただきます。

多くのみなさんの積極的なご参加をお待ちしています。
詳細はこちら

■　第５回　SEA名古屋支部・sigeduジョイントフォーラム2010　■
テーマ：「ソフトウェア教育と制御理論および設計学」

当フォーラムでは、毎年、グローバル化しつつあるソフトウェア開発の生産性向上や、それを支える技術者の育成をテーマに議論を重ねてきておりますが、今回のフォーラムでは、ソフトウェア教育におけるポイントと制御理論に着目し、より高度なレベルの生産性を可能とするためのコミュニケーションのあり方や、制御システムについての展望を探ります。また、「設計学に学ぶ、ソフトウェア教育で本当に必要なこと」と題して、講演＆討論を行ないます。
ソフトウェア開発に関して活発な議論が期待できますので、ソフトウェア開発に携わる方をはじめ、技術者育成に関係される皆様の参加をお待しております。
詳細はこちら

SEA-SPIN ワークショップ in 三島

2010年 8月 22-23日

参 加 者 募 集

主催
ソフトウェア技術者協会
プロセス分科会(SEA-SPIN)
—————————————————————-

SEA-SPIN では，本年も「せせらぎの街」静岡県・三島でワークショップを開催します。

今年は，ＳＰＯ（ソフトウェアプロセス最適化）に関し、問題発見から課題解決までの一連の流れ・手法をＳＰＯの考案者である伊藤昌夫氏にレクチャーして頂き、みなさんの持ってる課題ひとつひとつに、ＳＰＯの観点で、どういうアプローチが良いか議論をしながら、真の解決が行えるヒントを導きだしたいと思います。

※ＳＰＯとは
ソフトウェア開発を行っていく中でさまざまな問題に出会います。SPOは、その問題解決を行うための手法です。プロセスを対象にしますが、SPO自体もプロセスになります。問題ープロセス変更ー評価という一連の流れを支援しています。

みなさんの積極的な参加をお待ちします．
詳細はこちら

　　　　SIP x SEA SigSQAジョイント企画

　　　　セーフウェアとソフトウェア品質保証

第1部：セーフウェア – システム安全とコンピュータ
第2部：ソフトウェア品質保証ワークショップ

主催： SEA SigSQA（ソフトウェア技術者協会 品質保証分科会）
協賛：（財）塩尻市振興公社（ＳＩＰ：塩尻インキュベーションプラザ）
　　　アヴァシス株式会社
———————————————————–

最近，コンピュータを使ったクリティカルシステムのトラブルが相次いでいます．しかし，事故原因の調査と防止対策に関する理論やノウハウの多くは，主としてハードウェアで構成されたシステムに関するものです．昨年末翻訳出版した「セーフウェア」は、世界的なシステム安全の権威であるNancy Levesonが著した，主としてコンピュータを用いるシステムの事故と対策について述べた名著です．

書籍情報詳細：セーフウェア – 安全・安心なシステムとソフトウェアを目指して
　　　　　　　
　Amazon >> http://www.amazon.co.jp/dp/479811684X
　
そこで今回は監修者かつ翻訳者の一人である松原友夫さんをお迎えし，翻訳で苦労された話を交えながら，レブソン教授が伝えようとしたメッセージについてお聞きしたいと思います．

また，第2部では，ソフトウェアの品質保証に関心のある方々による議論の場を設けたいと思います（詳細検討中）．様々な会社や組織からの参加者による情報交換や議論によって，あるいは，その議論を聴講することによって，考察を深め，新たな知見を得られるられるのではないかと考えています．

多くのみなさんの積極的なご参加をお待ちしております．

詳細はこちら

SEA Forum on August 2010のお知らせです。

形式仕様記述手法の実践に関わる連続セミナー：第1回

システム開発への形式手法の適用による品質の確保
〜文書の記述力とチームのコミュニケーション力を鍛える〜

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

現在、ソフトウェアが社会の隅々にまで利用されているという状況になってきています。もはや、”good enough” というアプローチでソフトウェアの開発に当たることは許されません。しかしながら、ソフトウェアの開発と利用は、これまでとは異なり、不特定多数の、必ずしも利用時のソフトウェアの挙動を十分に認識した人々によってのみなされるものではありません。全ての利用シナリオを開発の開始時に特定することは極めて困難になってきています。即ち、このような状況において、ソフトウェアの仕様を確定するのは困難であるということになります。ソフトウェアはコンピュータ上で稼働する極めて論理的なものであり、予め組み込まれたプログラムとしてしか動きません。予め組み込む論理は、ソフトウェアが動作する時の状況に対応するものになっている必要があります。

形式手法は、以上のような環境において、仕様から設計、コーディング、テスト、運用を通した所謂ライフサイクルにおける一貫性や整合性を保つためのシルバーブレットの一つとして認識されています。しかしながら、形式手法の歴史は 1960 年代にまで遡れるものの、実開発現場での活用は限定されています。

8 月の SEA Forum においては、実開発プロジェクトに形式手法を導入することを決められた開発マネージャから、どのような目的を持って、如何にして種々の想定された問題に対応し、開発チームをリードされたかを話していただきます。

続く 9 月の SEA Forum においては、上記の果敢な決定をし、チームをリードしてきたマネージャのもとチームに参加した開発者が何に遭遇し、それらを如何に解決してきたかに
ついて話していただきます。

多くのみなさんの積極的なご参加をお待ちしています。
詳細はこちら

上海世博を記念して中国の3拠点で連続フォーラム、ワークショップで、個別のイベントに参加することも可能です。

• 上海フォーラム：「無形労働価値とソフトウェア技術移転」（7月22日）
• 無錫ワークショップ：「次世代型オフショアのあり方」（7月23日-24日）
• 張家界ワークショップ：「今後の日中韓印グローバル技術展望」（7月26日）

案内の詳細

SEA名古屋支部では、原則として毎月名古屋でForumを開催しています。今月は5月20日に名古屋国際センターにて、下記のテーマで開催します。

• CMCで変わる組織コミュニケーション－企業内ＳＮＳの実践から学ぶ

（詳細な内容や申し込み方法については、上記のリンク先を参照してください）

ほぼ毎月開催のSEA Forumは、次回2010年5月20日（木）に港区芝浦で開催予定です。詳細な内容と参加申込みに付いては以下を参照してください。

• SEA Forum：地域におけるコミュニティ創造と社会人教育を考える

SEA九州支部では、2010年6月3日（木）に熊本で下記のイベントを開催します。

• 特別セミナー「セーフウェア – システム安全とコンピュータ」熊本開催版

主催：ソフトウェア技術者協会 九州支部
くまもと技術革新・融合研究会(RIST)
共催：熊本県産業技術センター
熊本県工業技術振興協会

SEA九州支部と九州大学システムLSI研究センター（SLRC）は、2010年6月2日（水）に特別セミナー「セーフウェア – システム安全とコンピュータ」を開催致します。NPO法人 九州組込みソフトウェアコンソーシアム（QUEST）、くまもと技術革新・融合研究会（RIST）との共催です。詳細やお申し込みについては、下記のページをご覧下さい。

• SEA九州支部 特別セミナー：セーフウェア – システム安全とコンピュータ

翌日6月3日（木）には熊本でも同様のイベントを開催します。