セミナー」カテゴリーアーカイブ

第75回先端ソフトウェア科学・工学に関するGRACEセミナー[1/30開催]

今回のGRACEセミナーでは,ディペンダビリティーのための 保証ケース(assu … 続きを読む

カテゴリー: 研究, セミナー, 未分類 | 第75回先端ソフトウェア科学・工学に関するGRACEセミナー[1/30開催] はコメントを受け付けていません

GRACE Workshop on Adaptive and Evolve Software Systems[1/19開催]

GRACEセンターでは、以下の通り1月19日に進化適応型ソフトウェアシステムに関 … 続きを読む

カテゴリー: イベント, セミナー, workshop | GRACE Workshop on Adaptive and Evolve Software Systems[1/19開催] はコメントを受け付けていません

第74回先端ソフトウェア科学・工学に関するGRACEセミナー[12/8開催]

今回のGRACEセミナーでは,ロンドン大学の研究者2人をお招きして, 人工生命や … 続きを読む

カテゴリー: 研究, セミナー, 未分類 | 第74回先端ソフトウェア科学・工学に関するGRACEセミナー[12/8開催] はコメントを受け付けていません

第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催]

今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む

カテゴリー: 研究, セミナー, 未分類 | 第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催] はコメントを受け付けていません

第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催]

今回は、SEIの研究者でありセキュアコーディングを推進している David Ke … 続きを読む

カテゴリー: 研究, セミナー | 第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催] はコメントを受け付けていません

第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催]

今回のGRACEセミナーでは,トップレベルの研究者2名の方に, 自己適応に関する … 続きを読む

カテゴリー: 研究, セミナー | 第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催] はコメントを受け付けていません

第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催]

今回のGRACEセミナーでは,ロンドン大学の 研究者二人をお招きして,人工生命や … 続きを読む

カテゴリー: 研究, セミナー | タグ: | 第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催] はコメントを受け付けていません

第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催]

今回のGRACEセミナーでは,上海交通大学のJianjun Zhao教授をお招き … 続きを読む

カテゴリー: 研究, セミナー | 第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催] はコメントを受け付けていません

第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催]

この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発 … 続きを読む

カテゴリー: 研究, セミナー | 第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催] はコメントを受け付けていません

第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催]

日時:2013年1月21日(月)14:00-15:30 場所:国立情報学研究所( … 続きを読む

カテゴリー: 研究, セミナー | 第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催] はコメントを受け付けていません