IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)を授業パッケージとしてまとめました。 第一部(その1)「Eucalyptusとedubase Cloud」 第一部(その2)「edubas [...]
2012年2月13日〜2月19日でもっとも人気のあった授業パッケージは、 IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年) でした。 第2位:形式仕様記述(応用編)(2010年度) 第3 [...]
現在公開している下記コンテンツにつきましては、2月末で非公開となります。 並行システムの検証と実装(2010年度) ソフトウェアパターン(2008年収録) 形式仕様記述(応用編)(2010年度) ぜひ、この機会にご覧くだ [...]
プロセス分析ツールPATで学ぶ並行プロセスのモデル検査(2011年)を授業パッケージとしてまとめました。 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis To [...]
プロセス分析ツールPATで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン~ふれながら学ぶモデル検査~」(その2)を公開いたしました。 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT ( [...]
IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術(講義)」を公開いたしました。 本セミナーでは、Eucalyptusを利用して構築され [...]
形式仕様記述(セキュリティ編) その1(2010年度)を公開いたしました。 本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証につ [...]
VDM、SPINから始める形式手法入門 その7を公開いたしました。 本講義では、ソフトウェア開発における効率的な信頼性向上のためのアプローチである形式手法について、VDMやSPIN等のツールを用いて学んで行きます。 その [...]
2012年1月30日〜2月5日でもっとも人気のあった授業パッケージは、 edubase Cloudで学ぶクラウド入門 ~OpenStackを作ってみよう~ でした。 第2位:クラウド実践(2011年収録) 第3位:ソフト [...]
2012年1月30日〜2月5日でもっとも閲覧された講義は、 edubase Cloudで学ぶクラウド入門 ~OpenStackを作ってみよう~その1 でした。 第2位:IaaSクラウドを支えるサーバ・インフラ技術を学ぶハ [...]
edubase サービス


