「セミナー」カテゴリーアーカイブ
第75回先端ソフトウェア科学・工学に関するGRACEセミナー[1/30開催]
今回のGRACEセミナーでは,ディペンダビリティーのための 保証ケース(assu … 続きを読む
GRACE Workshop on Adaptive and Evolve Software Systems[1/19開催]
GRACEセンターでは、以下の通り1月19日に進化適応型ソフトウェアシステムに関 … 続きを読む
第74回先端ソフトウェア科学・工学に関するGRACEセミナー[12/8開催]
今回のGRACEセミナーでは,ロンドン大学の研究者2人をお招きして, 人工生命や … 続きを読む
第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催]
今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む
第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催]
今回は、SEIの研究者でありセキュアコーディングを推進している David Ke … 続きを読む
第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催]
今回のGRACEセミナーでは,トップレベルの研究者2名の方に, 自己適応に関する … 続きを読む
第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催]
今回のGRACEセミナーでは,ロンドン大学の 研究者二人をお招きして,人工生命や … 続きを読む
第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催]
今回のGRACEセミナーでは,上海交通大学のJianjun Zhao教授をお招き … 続きを読む
第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催]
この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発 … 続きを読む
第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催]
日時:2013年1月21日(月)14:00-15:30 場所:国立情報学研究所( … 続きを読む