Google Tech Talksで紹介されているGTAC 2011: WebDriverを紹介します。 本動画は、GTAC 2011（Google Test Automation Conference 2011）の講演 [...]

edubase Streamを本年もよろしくお願いいたします。 　 １月は、下記の講義を予定しております。 設計モデル検証(応用) edubase Cloudで学ぶクラウド入門～OpenStackを作ってみよう～ Iaa [...]

ソフトウェアパターン 第10回 パターンの広がりとまとめを公開いたしました。 第１０回では、これからのソフトウェアパターン技術について解説していきます。また、これまで解説してきた講義についてまとめていきます。

基礎理論講座 第５回 時相論理を再公開しました。 　 本講義では、モデル検査についての基礎知識を身につけていきます。時相論理の基礎知識として、ＰＬＴＬ、ＣＴＬを取り上げます。また、それぞれの意味論や背理法による証明、分岐 [...]

edubaseご利用の皆様にはご不便をおかけしております。 国立情報学研究所Graceセンターでは、電力需給の状況を鑑みた上で、継続的な節電を行えるシステム構成を検討いたしました。 その結果、従来ご利用いただいておりまし [...]