研究」カテゴリーアーカイブ

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

モデルの記述と検証のためのプログラミング –CafeOBJによる仕様 … 続きを読む

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

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

今回のGRACEセミナーでは,要求工学の世界的専門家であるNuseibeh教授を … 続きを読む

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

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

今回のGRACEセミナーでは,ブエノスアイレス大学のSebastian Uchi … 続きを読む

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

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

今回のGRACEセミナーでは,Design by Contractを始め,プログ … 続きを読む

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

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

今回のGRACEセミナーでは,形式手法やプログラム解析の専門家であるJun Su … 続きを読む

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

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

今回のGRACEセミナーでは形式手法の第一人者であるウィーン工科大の Helmu … 続きを読む

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

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

今回のGRACEセミナーでは大阪大学Gaikovina助教をお招きし,リポジトリ … 続きを読む

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

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

今回のGRACEセミナーでは,ブエノスアイレス大学のSebastian Uchi … 続きを読む

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

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

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

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

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

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

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