※タグは順次更新してまりますので、今後変更が行われる場合がございます。

図表１：タグ「アーキテクチャパターン」

図表１：ソフトウェア工学入門　その5

授業パッケージランキング

第１位：TopSE「テスティング」
第２位：TopSE「形式手法によるプログラム解析」（2008年度）
第３位：ITSpiral「アジャイルソフトウェア工学」
第４位：ITSpiral「データベース設計論」
第５位：PBL型システム開発（2008年度）

図表１：タグ「オブジェクト指向」

タグ検索はこちらからご利用いただけます。

テスト、ブラックボックス・テスト、ドメインテスト、ホワイトボックス・テスト、テスト設計、制御フロー、JUnit、テストケース、djUnit、リファクタリング、テスト自動化

図表１：タグ「テスト」の検索結果

第１位：Vol.2 「データベース設計論」第3回：設計事例
第２位：並行システムの検証と実装　第1回(2009年度)
第３位：ソフトウェア工学入門　その3(2010年度)
第４位：ソフトウェア工学入門　その1(2010年度)
第５位：ソフトウェア工学入門　その２(2010年度)
　
先週はデータベース設計論に人気が集まっています。関連タグには、データベースがございます。

人気授業パッケージ

第１位：ITSpiral「データベース設計論」
第２位：ITSpiral「アジャイルソフトウェア工学」
第３位：TopSE「形式手法によるプログラム解析」（2008年度）
第４位：PBL型システム開発（2008年度）
第５位：ITSpiral「ソフトウェア保守」
※非公開コンテンツについては、ランキングから除外いたしました。
　
授業パッケージについても、データベース設計論に人気が集まっています。
また、アジャイルソフトウェア工学が改めて閲覧されています。講義は英語です。
関連タグには、アジャイルがございます。
　

図表１：Vol.2 「データベース設計論」第3回：設計事例

第１回：Vol.9 「組込みソフトウェア設計論」 第3回：状態遷移設計論
第２回：Eucalyptusで作るプライベートクラウド構築
第３回：ソフトウェア工学入門　その1(2010年度)
第４回：ゴール指向分析 第2回（パート2-1 KAOSとツール）（2008年度）
第５回：ソフトウェア工学入門　その２(2010年度)
　
４月から公開がはじまっているソフトウェア工学入門に人気が集まっています。限定公開ですので、ぜひこの機会にご覧ください。

・関連タグ
要求、組み込み

授業パッケージランキング

第１位：性能モデル検証(2010年度)
第２位：形式仕様記述（セキュリティ編）(2010年度)
第３位：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
第４位：TopSE「並行システムのモデル化と検証」(2008年度)
第５位：edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～（2011年収録）
　
４月に限定公開の終了した授業パッケージに人気が集まっています。また、クラウドも引き続き人気です。
　
・関連タグ
クラウド、並行システム

図表１：Vol.9 「組込みソフトウェア設計論」 第3回：状態遷移設計論

○実践的ソフトウェア工学―実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座)
【ISBN-10: 4764903709】

　
○ソフトウェア工学の基礎
【ISBN-10: 4000056085】

ぜひ、合わせてご活用ください。

図表１：ソフトウェア工学入門〜要求工学〜

第１位：ソフトウェア工学入門　その1(2010年度)
第２位：ソフトウェア工学入門　その２(2010年度)
第３位：Vol.9 「組込みソフトウェア設計論」 第3回：状態遷移設計論
第４位：データベース入門２
第５位：Eucalyptusで作るプライベートクラウド構築
　
４月から公開がはじまったソフトウェア工学入門に人気が集まっています。
ソフトウェア工学を学んで行く上で必要な知識について解説している講義です。今後公開される講義や、edubase Streamで公開されているその他の講義を閲覧する際の基礎知識となります。

授業パッケージランキング

第１位：TopSE「ソフトウェアパターン」（2008年度）
第２位：性能モデル検証(2010年度)（限定公開終了）
第３位：VDM、SPINから始める形式手法入門(2011年収録)（限定公開終了）
第４位：ITSpiral「ソフトウェア保守」
第５位：edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～（2011年収録）（限定公開終了）
　
授業パッケージでは、ソフトウェアパターンやソフトウェア保守が閲覧されています。また、公開が終了した講義も閲覧されています。
公開が終了した講義については、今後再公開を予定しております。

図表１：ソフトウェア工学入門（要求工学プロセスモデル（要求工学WGモデル））

図表１：ソフトウェア工学入門　その2

本講義は、2010年度のトップエスイー講演内容を収録、編集したものです。
2012年度のシラバスは以下を参照してください。
http://www.topse.jp/syllabus/07/html/SE.htm

図表1：ソフトウェア工学入門「ソフトウェア工学とは？」

本講義は、2010年度のトップエスイー講演内容を収録、編集したものです。
2012年度のシラバスは以下を参照してください。
http://www.topse.jp/syllabus/07/html/SE.htm

人気講義ランキング

第1位：Vol.9 「組込みソフトウェア設計論」 第3回：状態遷移設計論
第2位：ゴール指向分析 第2回（パート2-1 KAOSとツール）（2008年度）
第3位：Vol.5 「知的ソフトウェア開発論」第2回：データマイニング
第4位：Eucalyptusで作るプライベートクラウド構築
第5位：リアルタイムOS入門
　
ゴール指向や知的ソフトウェア開発論、リアルタイムOSなどが改めて閲覧されています。
　

人気授業パッケージランキング

性能モデル検証(2010年度)
TopSE「並行システムのモデル化と検証」(2008年度)
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
形式仕様記述（セキュリティ編）(2010年度)
情報セキュリティ入門
　
授業パッケージでは、モデル検証、セキュリティに関する講義に人気が集まっています。

図表1：「組込みソフトウェア設計論」 第3回：状態遷移設計論

edubase Stream関連タグ：ゴール指向、セキュリティ、クラウド、組み込み、状態遷移図

また、2012年4月20日現在のタグ一覧は下記の通りです。
KAOS K-tool 設計モデル検証 SPIN コンポーネント 並行システム CSP FDR JCSP ウェブ工学 Web アジャイル リスクマネジメント 形式仕様記述 クラウド アプリケーション セキュリティ OS コンピュータ システム 制御 データベース SQL DBMS DB マネジメント プロジェクト プログラム 活用 応用 マイコン マイクロコンピュータ CPU プロセッサ 高速化 リアルタイムOS RTOS ITRON μITRON マイクロITRON 情報 情報倫理 リスク 個人情報 フレームワーク 形式手法 組み込み パターン 要求分析 UPPAAL VDM SMV ATAM GRASP オブジェクト指向 テスト駆動開発 TDD ホワイトボックス・テスト テストケース JUnit テスト jmlunit JCrasher JML 単体テスト 自動化 要求 要求仕様 PSL X-JRDL ゴール指向 NFRフレームワーク i* C-NAP法 要求獲得 要求定義 Struts CGI PHP XML XLS XML Schema PMBOK タイムマネジメント PERT図 ガントチャート ユーザビリティ PBL 内部設計 外部設計 詳細設計 ウォーターフォール プロトタイピング 要件定義 状態遷移図 コーディング規約 ユースケース 保守 協調フィルタリング COCOMO 見積り 分散オブジェクト EJB KobrA法 プロダクトライン開発 カタリシス法 UMLコンポーネント法 SOA セマンティックWeb オントロジー データマイニング SEICモデル 知識マネジメント データベース設計 CORBA Java アルゴリズム クリプキ構造 ABP 並列システム IaaS Eucalyptus データセンタ 省エネルギー CaaS
※講義の公開・非公開、またタグの変更などによって、検索結果が変わりますのでご注意ください。

図表1：クラウドで検索した場合

図表1：性能モデル検証(2010年度)

今月で限定公開が終了する性能モデル検証や形式仕様記述（セキュリティ編）に人気が集まっています。
性能モデル検証では、モデル検査ツールUPPAALについて解説しています。
形式仕様記述（セキュリティ編）では、Z、SPIN/Promela、Event-Bを用い、セキュリティ・ポリシの検証について解説しています。
ぜひ、この機会にご覧ください。

図表1：タグSMV

また、タグ「CSP」を下記講義に追加しました。
・並行システムの検証と実装　第4回(2009年度)
・TopSE「並行システムのモデル化と検証」(2008年度)　第1回、第4回、第5回、第6回、第7回、第8回、第9回

関連タグとしては、
・FDR
・JCSP
がございます。合わせてご覧ください。

図表1：タグ「SPIN」を追加

また、下記講義に、タグ「UPPAAL」を追加しました。
・性能モデル検証(2010年度)　その1〜15

図表1：動く歩道（集中型）の状態遷移図（Vol.9 「組込みソフトウェア設計論」 第3回：状態遷移設計論）

引き続き組込みソフトウェア設計論 第3回が閲覧されています。また、ゴール指向やPBL型システム開発も改めて閲覧されています。

図表1：KAOSタグ

下記講義にK-toolタグを付与いたしました。
・ゴール指向分析 第2回（パート2-1 KAOSとツール）（2008年度）

また、下記講義に設計モデル検証のタグを付記いたしました。
・TopSE「設計モデル検証（応用編）（2008年度）」
・設計モデル検証（応用）（2009年度）

2010年の12月に第1回東京サブワークショプを開始して以来，お陰さまで，毎回30名以上の皆様にご参加いただいております．第5回は，国立情報額研究所にて3部構成のワークショップを開催いたします．
　
要求定義における課題解決への貢献と、要求工学技術・研究の深耕・発展を目指し、ワークショップ自体で「要求工学」を実践していきます。皆様ふるってご参加をお願いいたします。プログラムは以下の通りです．
　
第一部では，企業の技術者，研究者による研究報告と討論を行います．
第二部では，東京電機大学の紫合治先生に基調講演を予定しております．
第三部では，参加者による参加型演習を中心とした討論を行います．

２．開催日時

2012年4月18日（水）
12:45～17:45（予定）(12:30～　受付）

３．開催場所

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

４．プログラム

第一部　事例，および研究発表と討論　12:45-14:15
北川貴之氏（東芝ソリューション）「要求抽出プロセスの検証手法～実事例による評価～」
佐藤慎一氏（東京工業大）「貢献度と顧客のニーズに関する妥当性の間のコンフリクト検出における応用上の問題とその解決手法」
　
第二部　基調講演　14:30-15:30
紫合治氏（東京電機大学）
「プロブレムフレームに於ける要求と仕様」
　
第三部　参加型課題討論 15:45-17:45

５．主催

主催：情報処理学会　ソフトウェア工学研究会，要求工学ワーキンググループ
協力：国立情報学研究所 GRACEセンター トップエスイープロジェクト

６．事務局

実行委員東京サブワークショップ：http://www.fuka.info.waseda.ac.jp/rewg-sub/index.html
東京サブワークショップ事務局：rewg-sub-staff@ml.twcu.ac.jp
中谷多哉子（筑波大学）
妻木俊彦（国立情報学研究所）
白銀純子（東京女子大学）
位野木万里（東芝ソリューション）
吉岡信和（国立情報学研究所）

７．参加募集方法

下記フォームにて2012年4月13日（金）までに事務局（rewg-sub-staff@ml.twcu.ac.jp）までメールにてお申し込み下さい．
（事務労力削減のため，特に事務局からの返信メールは出しておりません．参加のために，事務局からの返信メールが必要な方は，参加申し込みの備考欄に，その旨，お知らせください．）
　
・ワークショップ参加費：無料
　
————————-参加申し込みフォーム————————-
東京サブワークショップ（2012年4月18日）に参加します。
・御所属：
・御芳名：
・メールアドレス：
・備考：
・懇親会（有料）：参加する／参加しない（不要な方を削除してください）
・今後のご案内は：　不要／必要である．
———————————————————————-
懇親会の詳細は後日ご案内いたします．会費2000~3000円の予定です．

図表1：形式仕様記述（セキュリティ編）

2月に公開した形式仕様記述（セキュリティ編）、性能モデル検証(2010年度)に人気が集まっています。
4月後半から、新しいコンテンツの公開がはじまります。
公開情報については、トップエスイーチャンネルをご覧ください。