投稿者: topse-center

CafeOBJで学ぶ形式仕様記述とその証明(9/16,23)

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

セミナー概要

タイトル：
CafeOBJで学ぶ形式仕様記述とその証明
日時：
2016年9月16日(金)、23日(金)
13:30-17:00（受付開始: 13:00）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：

CafeOBJは、代数的にシステムの仕様を記述し、その上の性質を証明することができる先端的な形式仕様言語の一つです。本講義では、CafeOBJを使った代数仕様言語の記述方法とシステムの性質を対話的に証明する方法を実際に支援ツールを使いながら学ぶことができます。

講義は2日間にわたって行われ、自然数やリストを使ったCafeOBJによる代数仕様記述の記述方法から、具体的な相互排他プロトコルを使った対話的な証明まで、ツールを通して体験していただけます。CafeOBJの開発者の一人である二木特任教授から直接学ぶことができるまたとない機会となっております。

当日会場に用意されたシンクライアントにて演習を行うことができます。ご自身のPCで動かしてみたいという方は、以下のページからCafeOBJ 1.5.5をインストールしてご持参ください。

http://cafeobj.org/download/

※本講義は、2015年10月23日に行われた内容に「仕様計算(Specification Calculus)による場合分けの自動化」の解説と演習が追加されています。

講師：北陸先端科学技術大学院大学 ソフトウェア検証研究センター 特任教授 二木厚吉

参考資料：

以下のページから最新の講義資料をダウンロードできます。http://www.jaist.ac.jp/~kokichi/lecture/1609NII/

※講義資料は英語が中心となりますが、講義は日本語で行います。

「CafeOBJ入門」
(1) 形式手法とCafeOBJ: http://ci.nii.ac.jp/naid/110006664762
(2) 構文と意味: http://ci.nii.ac.jp/naid/110006664763
(3) 等式推論と項書換システム: http://ci.nii.ac.jp/naid/110006840405
(4) 証明譜による検証法: http://ci.nii.ac.jp/naid/110006990888
(5) 認証プロトコルの検証: http://ci.nii.ac.jp/naid/130004549136
(6) 通信プロトコルの検証: http://ci.nii.ac.jp/naid/10025982447

スケジュール：
9月16日(金)
13:30 – 15:00 講義1: CafeOBJの概要と基礎, 自然数の表現
15:15 – 16:45 講義2: リスト・シーケンス・集合と仕様計算(Specification Calculus)
16:45 – 17:00 質疑応答
9月23日(金)
13:30 – 15:00 講義3: CafeOBJによるモデリングと記述の実際
15:15 – 16:45 講義4: CafeOBJによる証明の記述と証明の実際
16:45 – 17:00 質疑応答
定員：
16名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 無料／一般 16,000円／学生 3,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
https://ws.formzu.net/fgen/S29943907/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

IoT機器のセキュリティ検証の新潮流 － Tritonを題材として(8/31)

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

セミナー概要

タイトル：
IoT機器のセキュリティ検証の新潮流 － Tritonを題材として
日時：
2016年8月31日(水)
15:00-17:00（受付開始: 14:30）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：

「セキュリティ検証の現場で使える形式手法のツールがあるのか？」という疑問を、制御/IoT機器のセキュリティ検証業務を実施していく上で感じるようになりました。同じような疑問を持ったエンジニアの方もいらっしゃると思います。

Microsoft社では、動的ソフトウェアモデル検査の考え方を用いて、OSやオフィスソフトの脆弱性診断を実施しています。ソフトウェアのコード中の条件分岐をできるだけ網羅するように、テストの入力データを試験の実行時に変化させる手法です。しかし、残念ながらその実装系(SAGE) は、一般には未公開でした。

この技術はもっと広範に使えるのではないか、と感じていたところ、最近では、オープンソースの実装系も登場し、アクティブに開発が進められています。今回のセミナーでは、この実装系を実際に動かすことで、現場までの距離感を掴んで頂ければと思います。対象をうまく絞れれば、または、Microsoft社のようにスケールさせれば、確かに使えるのかも、と実感できると思います。

こうしたツールが必要な背景には、IoT機器の増加に伴うセキュリティへの懸念、電力分野の制御システムおよびスマートメーターに関するセキュリティガイ ドラインの発行に代表される、制御システムのセキュリティへの懸念、があります。これらのセキュリティの検証も、機器の認証を取るだけであれば、ファジングツールによる過去の攻撃事例に基づくパケットと大量のパケットに対して仕様通りに機器が振る舞えれば十分です。しかし、ファジングツールに実装されていない独自プロトコルに対する攻撃やゼロデイ攻撃によるリスクを減らすためには、もう少し賢い検証ツールを使えることが間違い無く重要になります。

本セミナーでは、動的なバイナリ解析ツールであるTritonという実装系を用いて、セキュリティ検証に関して

・何ができるのか
・どうやっているのか

について、動作原理の解説と、例をハンズオン形式で実施することで習得できます。

当日はシンクライアントを使ってTritonの演習を行いますが、ご自身のPCで演習されたい方は、インストール手順(Triton-install-log.txt)を参考に、以下のサイトから最新のソースをダウンロードし、インストールしてくだしさい。

Triton: https://github.com/JonathanSalwan/Triton

本ツールは、以下の環境で動作を確認しています。

Ubuntu 16.04, libboost(1.55以上),libpython, libcapstone,
libz3(https://github.com/Z3Prover/z3.git), Pin

[前提知識]
デバッガの画面、抽象構文木（abstract syntax tree、AST）の表現をご覧になったことがあると面食らわずに理解しやすいと思います。また、Pythonの基礎知識があると、ハンズオンで利用するサンプルコードを理解する際に役立ちます。

[参考URL:]
SAGE: http://research.microsoft.com/en-us/um/people/pg/
Triton: https://github.com/JonathanSalwan/Triton

なお、その他の事例については、「ディペンダブル・システムのための形式手法の実践ポータル(http://formal.mri.co.jp/)」もご参照ください。

講師：松崎 和賢・（株）三菱総合研究所

定員：
16名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 1,000円／一般 8,000円／学生 1,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
https://ws.formzu.net/fgen/S41806214/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

組込み機器のセーフティーとセキュリティ最前線(9/1)

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

セミナー概要

タイトル：
組込み機器のセーフティーとセキュリティ最前線
日時：
2016年9月1日(木)
13:00-17:00（受付開始: 12:30）
会場：
国立情報学研究所 20階 ミーティングルーム(2009/2010)
内容：
近年、さまざまな組込み機器がインターネットにつながり、自動運転などの高度な機能を提供する様になってくると、そのセーフティとセキュリティが重要になってきます。本セミナーでは、セーフティーとセキュリティの基本的な考え方から、医療や車の事例を中心に最近の組込み機器のセーフティーとセキュリティの最新動向を専門家に解説して頂きます。

13:00-14:00 セーフティーとセキュリティ概論　～ 乗り物の安全の観点から ～
講師: 大久保 隆夫 氏（情報セキュリティ大学院大学・教授）
概要：近年、重要インフラへのサイバー攻撃が増加し、従来の機能安全とともに、セキュリティへの対策を講じることが必要になってきています。セキュリティを考える上で、従来の機能安全的手法でカバーできるのか、できないとすれば、どのようなアプローチが必要になるのか？セーフティとセキュリティ、前者は乗り物の製品開発において従来から考慮されてきた概念であり、後者はIT分野を中心に考慮されてきたものです。両者は，共通点もあるが相違もあるため、双方を実現するためには、手法も含め課題が多く存在します。本講演では、機能安全に代表されるセーフティとセキュリティの共通点と相違、それぞれの脅威、リスク分析の考え方について、乗り物を例に概説します。

14:00-15:20 組込みソフトウェアとセーフティ　～ 医療機器を題材に考える ～
講師: 宇佐美 雅紀 氏（国立情報学研究所 GRCEセンター トップエスイー 講師）
概要：モノのインターネット IoT（Internet of Things）は、大きな経済効果が期待できると言われていることもあり、大変な注目が集まっています。IoTのように、ソフトウェアが現実世界と密接に関わってくるようになると、今まで以上に安全性が重要になります。本講演では、安全性が最重要である医療機器のソフトウェアを題材にして、ソフトウェアにおける安全について考えます。安全なソフトウェアを作るための規格の要求、開発プロセスや技術に加えて、開発現場での苦労や工夫について説明します。本講演は、規格解説ではありません。様々な分野の方と一緒にソフトウェアと安全について考えてみたいと思います。

15:20-15:30 休憩

15:30-16:50 自動車向けセーフティ＆セキュリティ分析の一考え方と事例紹介
講師: 稲垣 徳也氏 （株式会社デンソー電子基盤システム開発部セーフティ・
セキュリティ技術開発室）
概要：車業界では、自動運転社会におけるセキュアな車載製品開発の早期実現を目指し、ユーザへ安心・安全を提供するための開発スタイル確立の動きが活発化しています。現在、日・米・欧などで自動車向け開発プロセスの標準規格の検討が本格化していますが、車業界全体で足並みを揃えた規格化までにはまだ時間がかかります。本講演は、自動車向けのセキュリティ開発プロセス標準化の現状を解説し、車業界としてのこれまでの強みである「品質・安全」を活かしたセーフティ＆セキュリティ分析の一考え方を事例とともに紹介します。

16:50-17:00 質疑

定員：
36名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 1,000円／一般 5,000円／学生 1,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
http://ws.formzu.net/fgen/S53074529/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

OSSユーザーのための勉強会#15 TensorFlow(9/1)[終了]

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

2016年9月1日(木)に実施された「第15回 OSSユーザーのための勉強会」では、機械学習・ディープラーニング（Deep Learning）のライブラリ「 TensorFlow 」を題材に、その概要から実際のプログラミングまでについて講演していただきました。
111
 

勉強会概要

日時：
2016年9月1日（木） 18:30～　（20:15終了予定、開場 18:00）
会場：
国立情報学研究所 19階 1901-1903会議室
参加者：
54名
実施概要：
注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者と、これからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」が開催されました。

今回の勉強会では、機械学習・ディープラーニング（Deep Learning）のライブラリ「 TensorFlow 」をテーマに、その概要から実際のプログラミングについて、Google Inc.の佐藤さんと中井さんにご紹介していただきました。
また勉強会のあとの懇親会でも、引き続き講演者2名の方から興味深く、ユニークなライトニング・トークが行われ、会場は参加者の熱気に溢れ、参加者同士の意見交換など活発な交流が行われました。

以下に発表資料を公開しております。
http://www.scsk.jp/product/oss/report2.html

概要：

　SCSK株式会社では、NPO法人トップエスイー教育センターの協賛の下、注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者とこれからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」を開催しております。

今回は、機械学習・ディープラーニング（Deep Learning）のライブラリ「 TensorFlow 」を題材に、その特長・アーキテクチャ・最新動向・今後の展望についてご紹介いたします。

また今回も、ユーザーからのご意見・ご要望を表明する場として、参加者によるライトニング・トーク（LT）の時間を設けています。
最新のOSS動向に触れるチャンスとして、お気軽にご参加ください。セッション終了後にはささやかな懇親の場を用意しております。

プログラム：

１．「 TensorFlow 概要編」（仮題）

Google Inc. クラウドデベロッパーアドボケイト　佐藤 一憲

２．「 TensorFlow 上級編」（仮題）

Google Inc. クラウドソリューションアーキテクト　中井 悦司

３． Q&A、ディスカッション

～ 終了後　懇親会（参加無料）～

４. 参加者によるライトニング・トーク（LT）：懇親会で実施

※ 予告なくプログラム内容が変更される場合がございます｡最新の情報は以下のページでご確認ください｡
http://eventregist.com/e/ossx2016-9

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社
の商標または登録商標です。

定員：
60名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://eventregist.com/e/ossx2016-9
主催(共催)：
SCSK株式会社 OSS基盤技術センター
協力：
国立情報学研究所 GRACEセンター、Google Inc.
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
申し込みページをご覧ください

ソフトウェアエンジニアのためのマーケティング入門(8/4)

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

セミナー概要

タイトル：
ソフトウェアエンジニアのためのマーケティング入門
日時：
2016年8月4日(木)
13:30-17:00（受付開始: 13:00）
会場：
国立情報学研究所 国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：
　マーケティングとは、商品の内容や販売活動の方法、流通経路、価格などを決定し、顕在的あるいは潜在的な消費者ニーズに対応する一連の活動である。情報技術の普及により、マーケティングの分野でも顧客の購買履歴など様々なビッグデータが蓄積され、これらを分析・活用して業務改革やサービス革新につなげようとする取り組みが多々行われている。
　本講義では、マーケティング・データを分析・活用するシステムを構築する上でのベースとなる知識について説明する。はじめにマーケティングの基礎およびデータ分析の方法を概観し、マーケティング意思決定を支援するデータ分析の方法を解説する。なお、講義の内容は以下の4つからなる。

(1)マーケティング基礎
(2)マーケティング・データ解析の方法
(3)プロダクト・マーケティングの分析
(4)顧客分析

【講師】中川慶一郎 （株式会社NTTデータ数理システム・取締役）

定員：
36名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
会員 1,000円／一般 5,000円／学生 1,000円
※NPO法人 トップエスイー教育センター会員および日本ソフトウェア科学会会員の方は、会員価格で参加いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。※8月3日にサーバー移動があるためその影響でPCの使用が制限される可能性があります。
http://ws.formzu.net/fgen/S53074529/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

INTER-Mediator《大》勉強会2016(8/6)

投稿日時: 投稿者: topse-center
概要：

　INTER-Mediatorはデータベース連動のWebアプリケーションを、手続き的なプログラミングなしに骨格部分を作り上げることができるオープンソースのフレームワークです。少ないコード量でのシステム開発ができ、加えてHTMLや設定ファイルの修正でメンテナンスできる範囲が広いという特徴を持ちます。
　このINTER-Mediatorを利用したWebシステム開発の勉強会を開催します。導入事例の1つである倉敷芸術科学大学様で開発担当された方にご講演をいただきます。他に、1時間弱の短いセッションを入門から応用までいろいろなテーマで、少人数のグループ毎に並行開催します。初歩から順に学びたい方、まずは実際にアプリケーションを作ってみたい方、さらには実際の動作に関連するアセスメントを進めたい方などがご自分の興味に応じてセッションに参加いただくことで、勉強会にいらっしゃる方一人一人がカスタマイズ可能なワークショップを開きます。

2016年8月6日(土)10:00～20:00 (受付開始:9:30)
10:00,11:00,14:00,15:00,16:00：セッション開始（各50分程度）
13:00-13:50：講演（仮題『業績管理システムをINTER-Mediatorで構築』）
12:00-13:00：（昼休み休憩）
17:30-：懇親会

講演：馬場始三（倉敷芸術科学大学教授）
セッション：新居雅行（フリーランス/国立情報学研究所）、林伸夫（フリーランスライター）、松尾篤（エミック）、飯島基文（飯島興産）、今泉みゆき（フリーランス）、鈴木健太郎（エミック）

http://peatix.com/event/181447

主催：INTER-Mediator Directive Committee (http://inter-mediator.org)
協賛：NPO法人トップエスイー教育センター
協力：国立情報学研究所 GRACEセンター

【INTER-Mediatorとは？】　http://inter-mediator.com/ja/

データベースと連動したWebサイトを構築するためのフレームワーク「INTER-Mediator」は、HTMLへの属性指定と設定ファイルの作成だけで基本的な部分が作成でき、手軽に開発を進められることが特徴です。

ページの仕上がりイメージをHTMLで作成し、データベースとの連動に関する設定をすることで、Webアプリケーションを作成できます。手続き的なプログラミング主体の開発手法ではないため、プログラマでない人でも開発やメンテナンスに関われます。

たとえば、物品管理など、部署内で共有したい情報を管理するシステムを、手早く作り、データを蓄積し、日々、少しずつシステムを成長させるといった使い方も可能です。簡単にシステム構築できるだけでなく、手続き的なプログラムを追加して、要求に応じた高度な仕組みも実装可能です。

INTER-Mediatorを使うことで、HTMLの知識が中心の方でもWebアプリケーション開発を習得できます。プログラミングが可能な方なら素早くシステム構築ができます。FileMaker開発者の方は、Web公開部分を効率的に開発ができます。

定員：
40名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
以下のURLのページでチケットを購入(無料)してください。当日、会場にてメールで送られてきたチケットを提示お願い致します。

http://peatix.com/event/181447

主催(共催)：
INTER-Mediator Directive Committee (http://inter-mediator.org)
協力：
国立情報学研究所（NII）GRACEセンター
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
info_AT_inter-mediator.org ※_AT_を@に置き換えてください

OSSユーザーのための勉強会#14 HadoopとSpark (6/1)[終了]

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

2016年6月1日(水)に実施された「第14回 OSSユーザーのための勉強会」では、分散処理を実現する「HadoopとSpark」を題材に、その特長・アーキテクチャ・最新動向・今後の展望について講演していただきました。
111
 

勉強会概要

日時：
2016年6月1日（水） 18:30～　（20:15終了予定、開場 18:00）
会場：
国立情報学研究所 12階会議室 1208,1210会議室
参加者：
47名
実施概要：
注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティの当事者と、これからOSSを学びたい人との交流・相互理解を通じて、共に見識を高めるための勉強会シリーズ「OSSユーザーのための勉強会 」が開催されました。

今回の勉強会では、分散処理を実現する「 HadoopとSpark 」をテーマに、その特長・アーキテクチャ・最新動向・今後の展望について、Hadoopについては富士通研究所の上田さんより、またSparkについてはNTTデータの土橋さんにご紹介していただきました。
また勉強会のあとの懇親会では、参加者の2名の方から興味深く、ユニークなライトニング・トークが行われ、会場は参加者の熱気に溢れ、参加者同士の意見交換など活発な交流が行われました。

以下に発表資料を公開しております。
http://www.scsk.jp/product/oss/report2.html

概要：
　SCSK株式会社では、NPO法人トップエスイー教育センターの協賛の下、注目すべきオープンソースソフトウェア（OSS）を題材に、開発コミュニティとユーザーコミュニティ、そしてこれから学びたい人々の交流を図る勉強会シリーズ「OSSユーザーのための勉強会」を開催しております。　今回は、分散処理を実現する「 HadoopとSpark 」を題材に、その特長・アーキテクチャ・最新動向・今後の展望についてご紹介いたします。

また今回も、ユーザーからのご意見・ご要望を表明する場として、参加者によるライトニング・トーク（LT）の時間を設けています。最新のOSS動向に触れるチャンスとして、お気軽にご参加ください。セッション終了後にはささやかな懇親の場を用意しております。

プログラム：
１．「Hadoopの特長と最新動向」（仮題）
富士通株式会社 イノベーティブソリューション事業本部 味沢 丞
２．「Sparkの特長と最新動向」（仮題）
株式会社NTTデータ 基盤システム事業本部 システム方式技術事業部 土橋 昌

３． Q&A、ディスカッション

～ 終了後　懇親会（参加無料）～
４. 参加者によるライトニング・トーク（LT）：懇親会で実施

※ 予告なくプログラム内容が変更される場合がございます｡最新の情報は以下のページでご確認ください｡
http://eventregist.com/e/ossx2016-6

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社
の商標または登録商標です。

定員：
60名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
参加申込方法：
下記サイトよりお申込みください。
http://eventregist.com/e/ossx2016-6
主催(共催)：
SCSK株式会社 OSS基盤技術センター
協力：
国立情報学研究所（NII）GRACEセンター、富士通株式会社、株式会社NTTデータ
協賛：
NPO法人 トップエスイー教育センター
お問合せ窓口：
申し込みページをご覧ください

要求工学ワーキンググループ 第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円******の予定です．
以上
—————————————————–

つながる世界のセキュリティ設計入門(5/23)

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

セミナー概要

タイトル：
つながる世界のセキュリティ設計入門～セキュリティ要件の見える化～
日時：
2016年5月23日(月)
13:30-17:20（受付開始: 13:00）
会場：
国立情報学研究所 国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：
　近年、異なる製品やサービスがインターネットを通じてつながり、新たなサービスや価値が提供される「IoT時代」が実現しつつあります。一方、異なる製品やサービスがつながることで、セキュリティ上の問題が懸念されます。
本セミナーでは、セキュリティ設計の入門として、はじめにセキュリティ設計手法を解説し、さらに演習形式でセキュリティ要件の見える化について理解を深めます。
【講師】情報セキュリティ大学院大学 客員研究員 金子 朋子 氏
【内容】
13：30～14：45 セキュリティ設計手法解説
セキュリティ設計において必要となる脅威分析・リスク評価や設計手法について解説します。
14：45～15：00 休憩
15：00～17：20 アシュアランスケースによるセキュリティ要件の見える化
第三者へ論理的に説明するときや認証のために近年用いられるようになったアシュアランスケースについて解説し、演習形式でアシュアランスケースによるセキュリティ要件の見える化の習得を目指します。

※本セミナーは、IPAで開催された以下のセミナーとほぼ同様の内容です。
http://sec.ipa.go.jp/seminar/20160323.html

【参考資料】つながる世界のセーフティ&セキュリティ設計入門, IPA
※ 参考資料は参加者に配布する予定です
【講師プロフィール】
情報セキュリティ大学院大学　客員研究員、博士（情報学）
公認情報セキュリティ監査人
日本ネットワークセキュリティ協会（JNSA）優秀論文賞受賞（2015年）

定員：
35名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
一般 2,000円／学生 無料
会員: 無料
※日本ソフトウェア科学会 会員の方も無料となります。
※トップエスイー受講生、修了生の方も無料となります。
※NPO法人 トップエスイー教育センター会員及び日本ソフトウェア科学会会員の方は、優先的に受講いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
http://ws.formzu.net/fgen/S53074529/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター トップエスイー
協賛：
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会、脅威分析研究会（予定）
後援：
情報処理推進機構（予定）
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください

平成27年度定期総会(3/24開催)

投稿日時: 投稿者: topse-center
NPO法人トップエスイー教育センターは、平成28年1月より第8期目に入りました。そこで下記日程で平成27年度定期総会を開催いたします。正会員の皆様には、ご出席賜わりますようにお願い申し上げます。ご案内は会員の皆様にお送りしておりますメール（件名：NPO法人トップエスイー教育センター「平成27年度通常総会」開催のご案内）をご覧ください。
■日時：平成２８年３月２４日（木）　１１：３０～１２：３０
■場所：国立情報学研究所２０階　ミーティングルーム１(2010室)
東京都千代田区一ツ橋2-1-2
議題：
１）開会の辞
２）議長選出
３）議案
第1号議案　平成27年度活動・事業報告
第2号議案　平成27年度会計収支報告、監事報告
第3号議案　平成28年度活動・事業計画
第4号議案　新理事候補者にともなう役員選挙