タグ: 応用

要求工学ワーキンググループ 第12回東京サブワークショップ(5月25日)【後援】[終了]

投稿日時: 投稿者: topse-center

情報処理学会　ソフトウェア工学研究会　要求工学ワーキンググループ
第12回東京サブワークショップ(2016年5月25日)参加募集

2016年5月25日(金)に情報処理学会主催のソフトウェア工学研究会要求工学ワーキンググループ第12回東京サブワークショップを行い、約17名が参加し、活発な議論と演習が行われました。

要求

１．はじめに

2010年の12月に第1回東京サブワークショプを開催して以来，
要求定義における課題解決への貢献と，要求工学技術・研究の深耕・発展を
目指し，ワークショップで「要求工学」を実践しております．
第12回も，国立情報学研究所にて3部構成のワークショップを開催いたします．
皆様のご参加をお待ちしております．

プログラムは以下の通りです．
第一部では，企業の技術者，研究者による研究報告と討論を行います．
第二部では，BABOKとREBOKに精通されている中崎博明氏による基調講演を
予定しております．
第三部では，基調講演で紹介された技術を用いて，参加者による参加型演習
と討論を行います．

２．開催日時

2016年5月25日(水)
13:00～17:00(予定)(12:30～　受付)

３．開催場所

国立情報学研究所 20階ミーティングルーム(2009―2010室)
http://www.nii.ac.jp/access/

４．プログラム

第一部　13:00-14:00
1) 13:00-13:30
「アジャイル開発における要求管理手法と適用評価」
東芝ソリューション株式会社
北川　貴之　氏
2) 13:30-14:00
「ソフトウェア開発現場でのMinute Paperの適用」
有限会社エヌ・エム・エス
岡本　克也　氏

第二部　基調講演　14:10-15:10
「ビジネス要求の分析と情報システム要件の整理手法」
財務省大臣官房会計課契約専門官
中崎 博明　氏

第三部　参加型課題討論 15:20-17:00
「ITCプロセスガイドラインに基づく演習」

５．主催

主催: 情報処理学会　ソフトウェア工学研究会，要求工学ワーキンググループ
協力: 国立情報学研究所 GRACEセンター
後援: NPO法人 トップエスイー教育センター

６．事務局

実行委員東京サブワークショップ：http://www.fuka.info.waseda.ac.jp/rewg-sub/index.html
東京サブワークショップ事務局：rewg-sub-staff[at]ml.twcu.ac.jp(スパムメール対策のため、「@」を「[at]」と表記しております)
白銀純子(東京女子大学)
位野木万里(工学院大学)
中谷多哉子(放送大学)
吉岡信和(国立情報学研究所)

７．参加募集方法

下記フォームにて2016年5月23日(月)までに事務局(rewg-sub-staff[at]ml.twcu.ac.jp)までメールにてお申し込み下さい．(スパムメール対策のため、「@」を「[at]」と表記しております)

ご参加申し込みを頂いた方々の名簿を事前に作成し，国立情報学研究所１階の警備員に
提出する必要があるため，どうぞ，お早めのお申し込みをお願いいたします．
事務労力削減のため，特に事務局からの返信メールは出しておりません．
参加のために，事務局からの返信メールが必要な方は，参加申し込みの備考欄に，
その旨，お知らせください．
・ワークショップ参加費：無料

————————-参加申し込みフォーム————————-
東京サブワークショップ(2016年5月25日水曜日)に参加します。
・御所属：
・御芳名：
・メールアドレス：
・備考：
・懇親会(有料)：参加する／参加しない(不要な方を削除してください)
・今後のご案内は：　不要／必要である．
———————————————————————-
懇親会の詳細は後日ご案内いたします．*****会費2000~3000円******の予定です．
以上
—————————————————–

Event-B/RODIN集中セミナー（11/15-16）[終了]

投稿日時: 投稿者: topse-center

セミナー概要

日時：
(1)2013年11月15日(金) 10：00-12:00
産業界での経験に関する講演
(2)2013年11月15日(金) 13：00-17:00
Event-B/RODINセミナー（基礎編）
(3)2013年11月16日(土) 13：00-17:00
Event-B/RODINセミナー（発展編）
(それぞれ開始30分前より受付開始)
※ 部分的にご参加いただくこともできます。詳細はプログラムをご参照下さい。
※ セミナー(2)/(3)についてはPCをご持参下さい．
会場：
国立情報学研究所 12階 会議室(1208/1210)
概要：
ソフトウェアの信頼性を効率よく高めるためには，上流工程の時点における取り組みが重要とされます．実装やテストに至る前に，不具合の元となる曖昧さや不整合を，仕様など上流工程の成果物の時点で排除するという考え方です．これに対して日本国内では近年，厳密な言語を用いたモデル記述と検証を行う形式手法が注目されています．フェリカネットワークでのVDM手法の適用事例がよく知られています．
一方欧州を中心に，ソフトウェア外の環境も含めたシステム全体の記述，仕様の複雑さの分解といった特徴を持つEvent-B手法が盛んに取り組まれています．DSFにおけるガイダンス，IPAによる実証実験などEvent-Bは用いられています（下記リンク参照）．
本セミナーは，Event-B活用の支援ツールRODINの研究開発におけるコーディネーターを務めたA. Romanovsky教授をはじめとし，欧州から4人の専門家を招いてEvent-Bに関する講演，セミナーの場を設けます．産業界での経験に関する講演をはじめ，実際にツールを利用したEvent-B/RODINセミナーを基礎編，発展編と開催いたします．

一部のみの参加も可能となっていますので，ぜひふるってご参加下さい．

※ 講演，セミナーは英語にて行われますが，日本人のアシスタントが必要に応じお手伝いをします．

参考リンク
http://www.event-b.org/
http://www.nttdata.com/jp/ja/dsf/
http://www.ipa.go.jp/sec/softwareengineering/reports/20120420.html

講師：
Alexander Romanovsky 教授（ニューカッスル大学・イギリス）
Alexei Iliasov 博士（ニューカッスル大学・イギリス）
Elena Troubitsyna 准教授 （オーボ・アカデミー大学・フィンランド）
Linas Laibinis 講師 （オーボ・アカデミー大学・フィンランド）
石川 冬樹 准教授（国立情報学研究所）
プログラム：
(予定）
（１） 産業界での経験に関する講演
11/15 （金）10:00-12:00

この講演では，欧州でのEvent-B手法に関する産業界での経験について報告をします．実際のプロジェクト，パイロットプロジェクトに関し，異なる抽象度でのどのような側面をモデル化・リファインメントしたのか，どのような性質を検証したのか，どう効率的な活用を目指したのかなどについて議論します．

対象：形式手法に関し，技術詳細ではなく応用アプローチに興味がある方々
VDMによる仕様記述やフェリカネットワークの事例など，形式手法やその応用に関する知識や技術的な経験があれば理解が深まると考えられますが，必須ではありません．

（２）Event-B/RODINセミナー（基礎編）
11/15 （金） 13:00-17:00

このセミナーでは，Event-B手法とその活用を支援するツールRODINに関する入門を行います．Event-Bは，複雑な構造と振る舞いを徐々に導入し（段階的詳細化），厳密な仕様を構築するための手法です．最終的に得られる全体的な仕様が正しくなるように，各段階でのモデルに対して検証を行っていきます（Correctness by Construction）．

対象： Event-BとRODINツールについて学習，利用をしてみたい技術者の方々．VDMなど他の形式手法や，厳密な仕様記述に関する基礎知識（命題論理，一階述語論理など）に関する事前の経験があれば理解が深まると考えられますが，必須ではありません．

（３）Event-B/RODINセミナー（発展編）
11/16 （土） 13:00-17:00

このセミナーでは，Event-B手法とRODINツールを用いた検証について，発展的な議論と体験を行います．特に，安全性分析や耐故障性のモデル化など，システムディペンダビリティのためのモデル化と検証について，詳細な検討を行います．

対象： Event-Bを用いた検証についてより深い理解を得たい技術者の方々
前日の基礎編セミナーに参加できない場合でも，前日の資料を自習用に送付するなど，可能な限り補足を行うようにします．その場合，自習を行うために，他の形式手法や，厳密な仕様記述に関する基礎知識（命題論理，一階述語論理など）に関する事前の経験があることが望ましいです.

定員：
60名
※原則先着順としますが，ＮＰＯ法人トップエスイー教育センター、日本ソフトウェア科学会の会員の方は優先的に受講いただけます。定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://form1.fc2.com/form/?id=631867
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
inquiry@topse.or.jp

【トップエスイー特別講義】エージェントモデリング(2/4, 5開催)【中止】

投稿日時: 投稿者: topse-center
※※※最小実施人数にいたらず、中止となりました。※※※
■日　程：2013年2月4日(月), 2月5日(火)． 各日とも 10:30-18:00
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：妻木 俊彦 (国立情報学研究所　特任教授)

セミナー概要
日　時 2013年2月4日(月), 2月5日(火). 各日とも 10:30-18:00 （受付10:00開始）
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 情報社会の高度化に伴い，複雑な人間社会との関わりの中で自律的に問題を解決するためのソフトウェアが求められるようになってきました．要求工学のゴール指向要求分析を使うことにより，多様で変化に富んだ世界を整理し要件を分析することができます．エージェント指向開発法は，そうした成果を実際のシステムとして実現するための技術です．本特別講義では，エージェント指向開発法として代表的な手法であるGaiaとTroposを通してエージェントのモデリング方法について学習します．
内容のレベル 応用
※ 受講される方は、「オブジェクトモデリング」と「i*法」の知識が必要です。
トップエスイーの開講科目「コンポーネントベース開発」「ゴール指向分析」を受講していることが望ましいです。
講　師 妻木 俊彦 (国立情報学研究所　特任教授)
対　象 一般 ※　定員 32 名（先着順）
参加費 一般会員30,000円（税込み）、一般非会員 50,000円（税込み）
学生会員10,000円（税込み）、学生非会員 16,000円（税込み）
※ NPO法人 トップエスイー教育センターへ入会をご希望される方は、備考欄に「NPO法人入会希望」とご記入ください。会員価格にてご参加いただけます。なお、会費は会場受付にてお支払ください。
参加申込方法 参加申込みサイトより必要事項を入力の上、お申込みください。http://form1.fc2.com/form/?id=507152※※※最小実施人数にいたらず、中止となりました。※※※
なお、トップエスイー年間受講生(7期生)、修了生の申込方法については別途ご案内いたします。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ先 セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry@topse.or.jp