関西支部 – SEA HomePage https://sea.jp SEAホームページ Tue, 18 Feb 2020 06:32:22 +0000 ja hourly 1 https://sea.jp/blog/wp-content/uploads/2021/07/cropped-sealogo-32x32.png 関西支部 – SEA HomePage https://sea.jp 32 32 関西支部(SEAKANKAI)の専用サイトが立ち上がりました https://sea.jp/blog/2020/02/18/%e9%96%a2%e8%a5%bf%e6%94%af%e9%83%a8seakankai%e3%81%ae%e5%b0%82%e7%94%a8%e3%82%b5%e3%82%a4%e3%83%88%e3%81%8c%e7%ab%8b%e3%81%a1%e4%b8%8a%e3%81%8c%e3%82%8a%e3%81%be%e3%81%97%e3%81%9f/ Tue, 18 Feb 2020 06:31:21 +0000 https://sea.jp/?p=2840 関西支部(SEAKANSAI)の専用サイトが立ち上がりました。現在はと新しいサイトを並列で運用していますが、今後は新しい専用サイトに移行していきます。

]]> SEA関西30+1周年記念フォーラム https://sea.jp/blog/2016/09/03/sea%e9%96%a2%e8%a5%bf301%e5%91%a8%e5%b9%b4%e8%a8%98%e5%bf%b5%e3%83%95%e3%82%a9%e3%83%bc%e3%83%a9%e3%83%a0/ Sat, 03 Sep 2016 09:10:00 +0000 http://sea.jp/?p=2066 SEAは昨年の12月に創立30周年を迎え、歴代のSEAの代表幹事もお呼びして記念フォーラムと懇親会を行いました。記録をたどってみると当時JIPの臼井さんが創立より前にSEA関西として分科会を始めておられるようです。それで今までのSEA関西の歩みを、今までの分科会の記録をまとめるという形で振り返り、現在の活発なプロセス分科会の報告も聞きながらフォーラムの形で開催することにしました。SEAやJUSなどの活動が今のKOFやOSCにつながっているので、これからのボランティア活動やITコミュニティのあり方についても考えてみたいと思います。SEAなので当然ですが懇親会もあります。時間が許せば是非ご参加ください。

1.　SEA関西30+1周年記念フォーラム

・日時：2016年9月10日(土) 14:00-17:00
・場所：ビズラボおおさか（グランフロント大阪北館C棟9F）
・会費無料
・発表者(予定)

司会　阪井　誠
・SEA30周年記念フォーラムの報告と過去のSEA関西分科会（中野秀男）
・sigeduとSEA関西（牧野憲一）
・プロセス分科会の歩み（小林修）
・これからのボランティア活動やITコミュニティを考える（中野秀男）

2.　SEA関西30+1周年記念 懇親会

・日時：2016年9月10日(土) 18:00-20:00
・場所：ナレッジサロン プレゼンテーションルームGH
グランフロント大阪北館7F(北3のエレベータの7Fを出た正面)
・会費3000円
・申し込みは、中野(nakano@nakanohideolab.jp)はご連絡ください。7日20時締め切りですが、飛び込みも可能です。その場合もメールは入れてください。

]]> 第64回　SEA関西プロセス分科会 https://sea.jp/blog/2015/12/20/%e7%ac%ac64%e5%9b%9e%e3%80%80sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a/ Sun, 20 Dec 2015 10:43:32 +0000 http://sea.jp/?p=1982

テーマ：作ることによる学び 〜 アラン・ケイの DynaBook から Scratch、Raspberry pi へ

 

講師　：
酒匂寛 氏（Designer’s Den）
水野修 氏（京都工芸繊維大学）

 

主催　：ソフトウェア技術者協会 関西支部 プロセス分科会

 

日時　：2016年01月23日(土) 13:00～17:00 (12:30 開場)

 

会場　： JAC Recruitment 大阪支店
　　　　大阪府大阪市北区梅田2-2-2 第二吉本ビルディング 12階
　　　　（ヒルトンプラザウエスト オフィスタワー）

 

申込等は，詳細を参照下さい．
]]> 第63回　SEA関西プロセス分科会のご案内 https://sea.jp/blog/2015/08/10/%e7%ac%ac63%e5%9b%9e%e3%80%80sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a%e3%81%ae%e3%81%94%e6%a1%88%e5%86%85/ Sun, 09 Aug 2015 23:35:59 +0000 http://sea.jp/?p=1889

テーマ：価値ある製品を生み出すためのアジャイル実践ポイント

 

講師　：前川 直也 氏（日新システムズ）
　　　　陸野 礼子 氏（日新システムズ）

 

主催　：ソフトウェア技術者協会 関西支部 プロセス分科会

 

日時　：2015年08月22日(土) 13:30～17:00 (13:00 開場)

 

会場　： JAC Recruitment 大阪支店
　　　　大阪府大阪市北区梅田2-2-2 第二吉本ビルディング 12階
　　　　（ヒルトンプラザウエスト オフィスタワー）

 

申込等は，詳細を参照下さい．
]]> 第60回　SEA関西プロセス分科会のご案内 「納品をなくせばうまくいく〜アジャイル開発のビジネスモデル！」 https://sea.jp/blog/2014/09/01/%e7%ac%ac60%e5%9b%9e%e3%80%80sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a%e3%81%ae%e3%81%94%e6%a1%88%e5%86%85-%e3%80%8c%e7%b4%8d%e5%93%81%e3%82%92%e3%81%aa/ Sun, 31 Aug 2014 23:02:01 +0000 http://sea.jp/?p=1754
第60回　SEA関西プロセス分科会のご案内「納品をなくせばうまくいく〜アジャイル開発のビジネスモデル！」

講師
倉貫 義人（株式会社ソニックガーデン代表取締役）

主催　：ソフトウェア技術者協会 関西支部 プロセス分科会

日時　：2014年9月27日(土) 13:30～17:45 (13:00 開場)

会場　： JAC Recruitment 大阪支店
大阪府大阪市北区梅田2-2-2 第二吉本ビルディング 12階
（ヒルトンプラザウエスト オフィスタワー）
http://www.jac-recruitment.jp/service/profile/office.html

※ 会場が前回までと異なりますので、ご注意ください。

内容　：
ソフトウェア開発の現場ではいまだに多くの問題が起きています。そうした問題に対し、重厚長大なプロセスではなく、エンジニアとプログ
ラミングを中心にしたアプローチで解決しようとしたのがアジャイル開発です。しかし、アジャイル開発の事例はさほど多くは出てきていません。日本のソフトウェア開発における商習慣がその妨げになっていると考え、「納品をなくす」ことで解決できると仮説をたてて、新しいビジネスモデルを産み出しました。それが「納品のない受託開発」です。要件定義が難しいような新規事業やウェブサービスの開発において効果を発揮し、多くのお客さまに満足頂いています。そして、それに取り組むエンジニアたちも、残業や休日出勤もなくやりがいをもって働けています。本講演では、その「納品のない受託開発」について、なぜそんなことが実現できるのか、その秘密について紹介します。

プログラム　：

13:30 – 15:00 講演
「納品をなくせばうまくいく〜アジャイル開発のビジネスモデル！」
（講師　倉貫 義人）

15:00 – 15:15 休憩
15:15 – 17:45 パネルディスカッション
テーマ:
「ソフトウェア開発の未来を考える」
パネリスト:
倉貫 義人（ソニックガーデン）
細谷 泰夫（アジャイルプロセス協議会）
あきぴー （SEA関西 ＆ XPJUG関西）
司会:
阪井 誠　（ＳＲＡ）

講師紹介

倉貫 義人（くらぬき よしひと）
株式会社ソニックガーデン代表取締役。大学院を修了後、大手システム会社でエンジニアとしてキャリアを積みつつ、「アジャイル開発」を日本に広げる活動を続ける。自ら立ち上げた社内ベンチャーを、2011年にMBOし、株式会社ソニックガーデンを創業。月額定額＆成果契約という「納品のない受託開発」を展開し、注目を集める。著書に『「納品」をなくせばうまくいく〜ソフトウェア業界の“常識”を変えるビジネスモデル』など。ソフトウェアと経営に関するブログ『Social Change』を執筆中。

参加費用：

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

定員　：48名

申込方法：

以下のペ‐ジからお申し込みの受付を行っております．
http://kokucheese.com/event/index/203756/
### 09/26(金)までにお申し込みください###
ご注意）
• 受付は先着順で，定員になり次第〆切とさせていただきます．
• メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
• お申し込みの受付け後，確認メールが自動的に返送されます．確認メールを印刷し，
当日受付時に持参ください．
• 申し込み手続きについて不明点などございましたら下記までご連絡ください．
seakansai-req@sea.jp
• 参加費は当日会場受付にて現金でお支払いください
• 領収書が必要な方は，申し込み時に「領収書要」にチェックしてください．

]]> 6月6日開催：第58回SEA関西プロセス分科会：JAXAにおけるソフトウェアの品質向上と安全保障 https://sea.jp/blog/2014/04/28/6%e6%9c%886%e6%97%a5%e9%96%8b%e5%82%ac%ef%bc%9a%e7%ac%ac58%e5%9b%9esea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a%ef%bc%9ajaxa%e3%81%ab%e3%81%8a%e3%81%91%e3%82%8b/ Mon, 28 Apr 2014 02:28:48 +0000 http://sea.jp/?p=1720 　　　　　 第58回 SEA関西プロセス分科会のご案内
　　　JAXA におけるソフトウェアの品質向上と安全保障

講師 ：宮本祐子 氏
　　　JAXA(宇宙航空研究開発機構) 情報・計算工学センター

主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会
日時 ：2014年06月06日(金) 18:30〜21:00 (18:00 開場)
会場 ：大阪市立総合生涯学習センター 第5研修室
　　　〒530-0001 大阪市北区梅田1-2-2-500
　　　大阪駅前第２ビル６階
　　　Tel 06-6345-5000 / Fax 06-6345-5019
　　　※ 会場が前回までと異なりますので，ご注意ください．

内容 ：
　 人工衛星など宇宙空間で使われるシステムは実際の運用が始まってか
　らのメンテナンス，改修がほとんどできません．そのため，運用に入る
　前にできる限りの検証，妥当性評価を実施したいのですが，一方で，宇
　宙空間という特殊な空間で動作するシステムのため，運用と全く同じ環
　境での試験を地上実施することはできません．
　 このような制約のもとで，如何にソフトウェアを含むシステム全体の
　品質を保証するか，ということが常に品質保証部門に課せられる大きな
　課題です．人工衛星に搭載されるソフトウェアは決して規模の大きいも
　のではありませんが，担う機能の重要性や多様性，複雑度は時代を追う
　ごとに増してきています．
　 このような状況の中，ソフトウェアの品質を確保するために，私たち
　は，米国航空宇宙局（NASA）や欧州宇宙機関（ESA）と共に，ソフトウ
　エア独立検証及び有効性確認(IV&V)によるソフトウエア製品の品質保証，
　安全性確保を実施しています．またプロセス面ではISOの準拠したプロ
　セスアセスメントを導入するなど，プロセス保証活動にも力を入れてい
　ます．
　 講演では，私たちが取り組んでいるIV&Vやプロセスアセスメントなど，
　ソフトウェア品質向上のための活動やそこでの課題，宇宙システムにお
　ける安全を確保するための設計，安全性保証活動のアプローチの紹介し
　ます．

講師紹介
宮本祐子（みやもと ゆうこ）
　 筑波大学で物理学を専攻し，粒子衝突実験のシミュレーションや検出
　器の開発に従事．
　 またその技術を利用し，実際に欧州原子核研究機構（CERN）における
　粒子衝突実験に参加．
　 大学院卒業後，三菱スペースソフトウェア株式会社に入社し，H-IIB輸
　送機（HTV）初号機の搭載ソフトウエア開発に従事し，NASAからの要求
　に基づく安全要求を実現するソフトウェアシステム開発を担当
　 その後JAXAへ転職．ソフトウェア独立検証，ソフトウェアプロセス改
　善など，ソフトウェアの品質向上のための業務に従事．

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

定員 ：36名

申込方法：
以下のページからお申し込みの受付を行っております．
http://kokucheese.com/event/index/167716/
### 06/05(木)までにお申し込みください###

ご注意）
　- 受付は先着順で，定員になり次第〆切とさせていただきます．
　- メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
　- お申し込みの受付け後，確認メールが自動的に返送されます．
　　確認メールを印刷し，当日受付時に持参ください．
　- 申し込み手続きについて不明点などございましたら下記までご連絡ください．
　　seakansai-req [at-mark] sea.jp
　- 参加費は当日会場受付にて現金でお支払いください．
　- 領収書が必要な方は，申し込み時に「領収書要」にチェックしてください．

]]> 4月5日開催：第57回 SEA関西プロセス分科会/第10回 RxTstudy https://sea.jp/blog/2014/03/18/4%e6%9c%885%e6%97%a5%e9%96%8b%e5%82%ac%ef%bc%9a%e7%ac%ac57%e5%9b%9e-sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a%e7%ac%ac10%e5%9b%9e-rxtstudy/ Tue, 18 Mar 2014 13:51:06 +0000 http://sea.jp/?p=1681 　 第57回 SEA関西プロセス分科会/第10回 RxTstudyのご案内
　 テーマ：「チケット駆動開発とメトリクス」

講師 ：大杉 直樹（株式会社NTTデータ 技術開発本部）
　　　 神谷 芳樹（みたに先端研合同会社代表）
主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会
　　　 RxTstudy（Redmineやタスク管理を考える勉強会＠大阪）
日時 ：2014年4月5日(土) 13:30〜17:30 (13:00 開場)
会場 ：株式会社SRA 関西事業部 会議室
　　　 〒541-0058 大阪市中央区南久宝寺町3-1-8 本町クロスビル2F

内容 ：

13:30〜
　軽量開発プロセスにおけるTracを利用したメトリクスの収集とプロジェクト管理
　講師：大杉 直樹（ 株式会社NTTデータ 技術開発本部）

　開発要員20名未満の中小規模のエンタープライズシステム開発において，
Tracを用いてプロジェクト管理を実施する場合のメトリクスの収集と利
用事例を紹介する．
　信頼性の高いメトリクスを収集し，有効に実務利用するためには計測・
蓄積ツールとルールの準備，ルール遵守を担保する監視活動が必要であ
り，無視できない大きさのコストが必要となる．
　一方，多くの中小規模開発ではプロジェクト管理に割ける要員や工数が
限られているため，メトリクスの収集と利用に大きなコストを確保し難
いという問題がある．
　できるだけ小さいコストでメトリクスを収集・蓄積・利用した事例とし
て，プロジェクトの体制や背景，用いたツールと実施手順，メトリクス
の分析結果や利用について紹介することで，同様の課題を抱えるプロジェ
クトの管理担当者に課題解決に向けた参考情報を提供することがねらい
である．

14:40〜
「チケット＆計測」書籍で訴えたいこと，語り尽くせなかったこと
　講師： 神谷 芳樹（みたに先端研合同会社代表）

　筆者は数十年間の職歴においてずっとソフトウェア開発環境の研究・実
用化に関わってきた．特にこの10年，奈良先端大やIPA/SECに於いて，進
行中のソフトウェア開発プロジェクトの可視化に焦点を合わせた開発管
理環境の調査・研究を進めてきた．
　今回その経験を反映して，ここ数年格段の進歩が見られる「ソフトウェ
ア開発管理環境」について，最先端の姿を紹介し，普及の一助にしよう
と一冊の書籍を出版した．(※)
　今回はそこで訴えたいことのエッセンスと，同時に，語り尽くせなかっ
たことについて述べたい． 焦点をあてた環境は，チケット駆動開発と構
成管理システムと自動計測による開発管理データの収集を組み合わせた
もので，さらにクラウド環境での実装を推奨している．

※「チケット＆計測でＩＴプロジェクト運営の体質改善」オーム社
http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=978-4-274-50477-8

15:50〜
パネルディスカッション「 チケット駆動開発とメトリクス」
パネリスト：
　 神谷 芳樹（みたに先端研合同会社代表）
　 大杉 直樹（ 株式会社NTTデータ 技術開発本部）
　 あきぴー（SEA関西 ＆ RxTstudy & XPJUG関西）
　（司会：阪井 誠（株式会社SRA））

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

定員 ：40名

申込方法：
以下のページからお申し込みの受付を行っております．
　http://kokucheese.com/event/index/156953/
　### 4/4(金)18:00までにお申し込みください ###

ご注意）
　受付は先着順で，定員になり次第〆切とさせていただきます．
　メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
　お申し込みの受付け後，確認メールが自動的に返送されます．
　確認メールを印刷し，当日受付時に持参ください．
　当日は休日につきビルの玄関が閉まっています．入館にはスタッフの案
　内が必要ですので，13: 00〜13:30の間に入館していただくようお願い致
　します．万一，入館が遅れる場合は，必ず以下のメールアドレスまで，
　入館予定時刻のご連絡をお願い致します．
　 seakansai-req [at-mark] sea.jp

　申し込み手続きについて不明点などございましたら下記までご連絡ください．
　 seakansai-req [at-mark] sea.jp

　参加費は当日会場受付にて現金でお支払いください．
　領収書が必要な方は，申し込み時に「領収書要」にチェックしてください．

]]> 3月29日開催：第56回 SEA関西プロセス分科会 https://sea.jp/blog/2014/02/27/3%e6%9c%8829%e6%97%a5%e9%96%8b%e5%82%ac%ef%bc%9a%e7%ac%ac56%e5%9b%9e-sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a/ Thu, 27 Feb 2014 02:38:07 +0000 http://sea.jp/?p=1672 　　　　　　　　第56回 SEA関西プロセス分科会のご案内
　　　　　　　Eclipse XText によるドメイン特化言語の応用

講師
　細合 晋太郎（九州大学 大学院システム情報研究院 学術研究員）
　細谷 泰夫（関西フォーマルメソッド勉強会）

主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会

日時 ：2014年3月29日(土) 13:00〜17:30 (12:30 開場)

会場 ： 株式会社SRA 関西事業部 会議室

　　〒541-0058 大阪市中央区南久宝寺町3-1-8
　　本町クロスビル2F

内容 ：
ドメイン特化言語（Domain Specific Language：DSL）は，特定の分野
（ドメイン）に限定向けに独自言語を作成し，その言語からコードへの変
換ルールを記述することで，ソフトウェア開発の自動化を支援します．
汎用性の高いUML等のモデリング言語では，適用範囲が広いゆえに，コー
ド生成まで行うためにはモデルに多くの付加情報や変換定義が必要となり
ます．一方DSLでは，ドメインに限定したモデルと言語を作成するため，
そのドメインに必要な要素のみに注目できると共に，変換定義も容易にな
ります．
今回紹介するXtextはEclipse上に構築されたDSL開発フレームワークです．
任意のDSLを作成できると共に，作成したDSLを記述するためのエディタと，
コード生成のための枠組みが生成されます．これにより手軽に独自の言語
から任意の言語の生成するDSL環境を作成することができます．
今回は，日本XTextユーザー会においてXtextの啓蒙・普及活動を行ってこ
られた細合晋太郎氏により，Xtextの基本的な動作原理の解説と実際に
Xtextを使ったDSL開発の演習を行って頂きます．
また，細谷泰夫氏より現場にXtextを導入した事例を紹介して頂きます．
細谷氏はXtextを2012年の11月頃に始めて知り，2013年の1月には実際の業
務で活用し始めました．Xtextの初心者が業務に活用するまでの経緯，活
用の拡大，活用して気づいたことを紹介します．

* 当日はXtextを使ったDSLの開発を行います．お持ちのPCにXtext環境を
　入れてご参加ください．
　以下のURLの”Full Eclipse”の項目よりお手持ちの環境に応じたものを
　ダウンロードしてください．
　https://www.eclipse.org/Xtext/download.html

* PCをご持参できない場合，演習は他の参加者とのペア作業，または見学
　となりますので，ご了承下さい．

* 会場にはインターネット接続の設備はありません．

プログラム ：
　13:00 – 13:30 XText の紹介 (細合晋太郎)
　13:40 – 14:20 事例紹介 (細谷泰夫)
　14:30 – 17:30 演習 (細合晋太郎)

講師紹介

細合晋太郎（ほそあい しんたろう）
　主に組込みソフトウェアのデバイスドライバ開発をモデル駆動技術で支
　援する研究を行っている．
　現在は九州大学 大学院システム情報研究院 情報知能工学部門 社会に
　てPBL (Project Based Laerning) 講義の支援を行っている．
　共著「テキスト型DSL開発フレームワーク Xtext 入門」
　田中 明，細合 晋太郎
　http://www.beta-publish.com/books.html
　SWEST実行委員，LED-Camp運営委員
　Twitter: @ShintaroHosoai
　Facebook: shintaro.hosoai

細谷泰夫（ほそたに やすお）
　関西を中心にアジャイル開発のコミュニティで活動している．
　アジャイル同人誌『Ultimate Agile Stories』の企画，編集に携わる
　他，Agile Tour Osakaオーガナイザ，Agile Japan 実行委員としても
　活動している．著書に
　「TECHNICAL MASTER はじめてのTeam Foundation Server」（秀和シス
テム）
　「わかりやすいアジャイル開発の教科書」（SBクリエイティブ)
　「JUDEで学ぶシステムデザイン」（翔泳社）

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

定員 ：30名

申込方法：
以下のペ‐ジからお申し込みの受付を行っております．
　http://kokucheese.com/event/index/149067/
　### 3/28(金)18:00までにお申し込みください ###

ご注意）
　受付は先着順で，定員になり次第〆切とさせていただきます．
　メール，FAXなどWebページ以外からの申し込みは受け付けておりません．
　お申し込みの受付け後，確認メールが自動的に返送されます．確認メー
　ルを印刷し，当日受付時に持参ください．
　当日は休日につきビルの玄関が閉まっています．入館にはスタッフの案
　内が必要ですので，12:30〜13:00の間に入館していただくようお願い致
　します．万一，入館が遅れる場合は，必ず以下のメールアドレスまで，
　入館予定時刻のご連絡をお願い致します．
　seakansai-req [at-mark] sea.jp

申し込み手続きについて不明点などございましたら下記までご連絡くだ
さい．
　seakansai-req [at-mark] sea.jp

参加費は当日会場受付にて現金でお支払いください．
領収書が必要な方は，申し込み時に「領収書要」にチェックしてくださ
い．

]]> 2月22日開催：SEA関西プロセス分科会：SMVで学ぶモデル検査入門 https://sea.jp/blog/2014/01/14/2%e6%9c%8822%e6%97%a5%e9%96%8b%e5%82%ac%ef%bc%9asea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a%ef%bc%9asmv%e3%81%a7%e5%ad%a6%e3%81%b6%e3%83%a2%e3%83%87%e3%83%ab/ Tue, 14 Jan 2014 03:28:53 +0000 http://sea.jp/?p=1651 　　　　　第55回　SEA関西プロセス分科会のご案内

　　　　　　　　SMVで学ぶモデル検査入門

講師 ：早水 公二（(株)フォーマルテック）

主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会

日時 ：2014年2月22日(土) 13:00〜17:00 (12:30 開場)

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

内容：
近年，産業界で注目を集めている形式手法の１つであるモデル検査の入
門講座です．モデル検査はシステムが取り得る全状態を網羅的に検査す
るため，要求された性質や挙動を満たさない状態が1つでもあれば，その
状態に至るまでのパスを発見することができます．微妙なタイミングや
多くの条件が重なることで発生する不具合の発見・解析に非常に有効です．
本セミナーでは，モデル検査の概要に加えて，実際の事例に基づいた
デモ，多くの例題を交えながら初心者の方にも分かりやすく説明します．
また，演習問題も用意していますので，実際にモデル検査ツールSMVを
操作することで，より深い理解を得ることができます．

※ 当日は実際にSMVのコードを書きながらの演習を行いますので，日頃
　　お使いの開発環境を搭載したPCのご持参をお願いします．演習には
　　以下のモデル検査ツールを使用します．

　　Cadence SMV

　　演習に必要なソフトウェア環境については，以下のページを
　　ご参照の上，できるだけ事前にインストールをお願い致します．

　　http://w2.cadence.com/webforms/cbl_software/index.aspx

※ PCをご持参できない場合，演習は他の参加者とのペア作業，
　　または見学となりますので，ご了承下さい．

※ 会場にはインターネット接続の設備はありません．

プログラム ：
13:00〜13:30 モデル検査の概要とデモ
13:30〜14:30 モデル検査講習
14:30〜14:40 休憩
14:40〜17:00 モデル検査演習

講師紹介

早水公二（はやみず こうじ）
2002年 検査の実用化の研究を開始
2011年 検査の専門企業である(株)フォーマルテックを設立
　　　　(独)産業技術総合研究所の非常勤職員として研究を開始

　トップエスイープロジェクト講師，東京工業大学非常勤講師，産総研
　セミナー講師など，モデル検査の講義やセミナーの非常勤講師を兼任中．

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

定員 ：20名

申込方法：
以下のペ‐ジからお申し込みの受付を行っております．
http://kokucheese.com/event/index/136515/

### 2/21(金)18:00までにお申し込みください ###

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

]]> 11月30日開催：第54回 SEA関西プロセス分科会 https://sea.jp/blog/2013/11/08/11%e6%9c%8830%e6%97%a5%e9%96%8b%e5%82%ac%ef%bc%9a%e7%ac%ac54%e5%9b%9e-sea%e9%96%a2%e8%a5%bf%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e7%a7%91%e4%bc%9a/ Fri, 08 Nov 2013 03:25:57 +0000 http://sea.jp/?p=1591 　　　　　第54回 SEA関西プロセス分科会のご案内

　　　テスト駆動開発による組込みプログラミングの実践

講師 ：蛸島 昭之（株式会社デンソー 熱機器事業部）
主催 ：ソフトウェア技術者協会 関西支部 プロセス分科会
日時 ：2013年11月30日(土) 13:00〜17:30 (12:30 開場)
会場 ：株式会社SRA 関西事業部 会議室
　　〒541-0058 大阪市中央区南久宝寺町3-1-8

内容 ：
　XP(eXtreme Programming)などに代表される「アジャイル開発」が
　提唱されて以来，「テスト駆動開発」がその中心的なプラクティス
　のひとつとして常に注目されてきました．
　そして，JavaやC#による業務系の開発では既に定着しつつあります．
　しかしながら，C言語やC++による組込み開発の現場では，開発環境
　のリソースや，ハードウェア開発との相互依存性などが制約となり，
　必ずしも普及が進んでいるとは言いがたい状況があったと思います．
　それが，昨年，C言語によるテスト駆動開発技法を解説した書籍「テ
　スト駆動開発による組み込みプログラミング」の翻訳出版や，その
　著けとして，組込み開発におけるテスト駆動開発の可能性に改めて
　注目が集まり，各地で勉強会やワークショップ等の活動が盛り上が
　りつつあります．
　今回の分科会では，この「テスト駆動開発による組み込みプログラ
　ミング」の監訳にあたられた蛸島昭之氏を講師にお招きし，講演，
　実践演習と，参加者の方々とのディスカッションの形で，テスト駆
　動開発の可能性を確認していきたいと考えます．

　※当日は実際にコードを書きながらの演習を行いますので，可能な
　方は，日頃お使いの開発環境を搭載したPCのご持参をお願いします．
　演習に必要なソフトウェアツールについては，後日入手方法を連絡
　させていただきますので，事前のインストールをお願い致します．
　また，PCの持ち込みが出来ない方についても，PC持参の方とペアを
　組んで演習に参加していただけますので，奮ってご参加ください．
　PCの持ち込み有無は，参加申し込みの際に記載をお願いします．

プログラム ：
　13:00 – 13:50 講演「組込み開発におけるアジャイル実施事例」
　14:00 – 16:00 演習（例題によるC言語テスト駆動開発の体験）
　16:10 – 17:30 ディスカッション「テスト駆動開発導入に向けての課題」

講師紹介
　蛸島昭之（たこしまあきゆき）
　2005年 前職の電子部品メーカー入社
　　キーレスエントリー，タイヤ空気圧モニターシステムなどの
　　開発に従事
　2009年 (株)デンソー入社
　　カーエアコン関連製品の開発に従事
　2011年 認定スクラムマスター

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

定員 ：20名

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

]]>