未分類」カテゴリーアーカイブ

第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開催] はコメントを受け付けていません。

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

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

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