２０１２年２月１３日〜２月１９日でもっとも人気のあった授業パッケージは、 IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年) でした。 第２位：形式仕様記述（応用編）(2010年度) 第３ [...]

現在公開している下記コンテンツにつきましては、２月末で非公開となります。 並行システムの検証と実装(2010年度) ソフトウェアパターン（2008年収録） 形式仕様記述（応用編）(2010年度) ぜひ、この機会にご覧くだ [...]

プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）を公開いたしました。 　 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT ( [...]

IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」を公開いたしました。 　 本セミナーでは、Eucalyptusを利用して構築され [...]

形式仕様記述（セキュリティ編）　その1(2010年度)を公開いたしました。 本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証につ [...]

VDM、SPINから始める形式手法入門 その7を公開いたしました。 本講義では、ソフトウェア開発における効率的な信頼性向上のためのアプローチである形式手法について、VDMやSPIN等のツールを用いて学んで行きます。 その [...]

２０１２年１月３０日〜２月５日でもっとも人気のあった授業パッケージは、 edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～ でした。 第２位：クラウド実践（2011年収録） 第３位：ソフト [...]