トップエスイーチャンネル
トップエスイーチャンネル
トップエスイーチャンネルでは、次世代の中核人材となる「スーパーアーキテクト」を育成する「トップエスイー」プロジェクトの講義情報を紹介しています。講義は期間限定公開です。
講義を視聴したい方は、edeubase Streamのユーザ登録（無料）が必要です。
ユーザ登録申請ページから、「国立情報学研究所 拠点間事務局」を選び、メッセージに「トップエスイーチャネルを視聴希望」と明記の上、ご申請ください。
公開中の講義
講義
ソフトウェア工学入門 その1(2010年度)
ソフトウェア工学入門 その2(2010年度)
ソフトウェア工学入門 その3(2010年度)
その4は5月24日の公開となります
ソフトウェア工学入門 その5(2011年度)
ソフトウェア工学入門 その6(2011年度)
授業パッケージ
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)
edubase Mobile
2012年度の公開講座スケジュール予定
新学期準備月刊: 4,5月
- チュートリアル
- SE入門
E1: 6,7月
- 基礎理論
- クラウド入門
- テスティングの補完
8月:夏休み月刊
- チュートリアル
E2: 9,10月
- 設計モデル検証(基礎)
- 形式仕様記述(基礎)
- クラウド実践
E3: 11,12月
- パターン
- 並行モデル
- 実装モデル検証の補完
- 形式仕様記述(応用)
1月:冬休み月刊
- チュートリアル
- モデル検査演習
- 安全要求分析の補完
E4: 2,3月
- アスペクト
- 形式セキュリティ
- 性能モデル
- 分散演習
- 設計モデル検証(応用)
公開が終了した講義
性能モデル検証(2010年度)
形式仕様記述（セキュリティ編）(2010年度)
プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）
設計モデル検証（応用編）(2010年度)
クラウド実践（2011年収録）
VDM、SPINから始める形式手法入門
形式仕様記述（応用編）
並行システムの検証と実装(2010年度)
ソフトウェアパターン
SMVで学ぶモデル検査入門
設計モデル検証（基礎編）（2010年度）
形式仕様記述（基礎編）(2010年度）
基礎理論講座（2008年収録）
Coqで学ぶ定理証明入門
VDM++による形式仕様記述
MindStormで学ぶ、UPPAALによる時間制約の検証
TopSE「edubase Cloud で学ぶクラウド入門」
edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～
※上記コンテンツの再公開等をご希望の場合には、@edubasejpにご連絡ください。
トップエスイープロジェクトとは？
トップエスイーとは、次世代の中核人材となる「スーパーアーキテクト」を育成するプロジェクトです。大学と産業界が協力することで、最先端の技術活用を実現します。
講義の見学は随時募集しておりますので、general[at]topse.jpまで、お気軽にご連絡ください。
