IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)を授業パッケージとしてまとめました。 第一部(その１)「Eucalyptusとedubase Cloud」 第一部(その２)「edubas [...]
２０１２年２月１３日〜２月１９日でもっとも人気のあった授業パッケージは、 IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年) でした。 第２位：形式仕様記述（応用編）(2010年度) 第３ [...]
3月13日(火)に国立情報学研究所 GRACEセンター、NPO法人 トップエスイー教育センターは【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」を開催します。 概 要 本講座では、分散処理技術として広く利 [...]
現在公開している下記コンテンツにつきましては、２月末で非公開となります。 並行システムの検証と実装(2010年度) ソフトウェアパターン（2008年収録） 形式仕様記述（応用編）(2010年度) ぜひ、この機会にご覧くだ [...]
プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）を授業パッケージとしてまとめました。 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis To [...]
プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）を公開いたしました。 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT ( [...]
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」を公開いたしました。 本セミナーでは、Eucalyptusを利用して構築され [...]
形式仕様記述（セキュリティ編） その1(2010年度)を公開いたしました。 本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証につ [...]
VDM、SPINから始める形式手法入門 その7を公開いたしました。 本講義では、ソフトウェア開発における効率的な信頼性向上のためのアプローチである形式手法について、VDMやSPIN等のツールを用いて学んで行きます。 その [...]
２０１２年１月２８日にedubase Spaceにて、「Global Game Jam 2012 NII会場 お絵描きワークショップ」が行われました。 ゲームの素材作りをテーマにしたワークショップで、小学生などが対象です [...]
