投稿者「grace-office」のアーカイブ

【GRACEセンターメールマガジン】第55号

◆□◆GRACEメールマガジン2017/10/2 第55号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第55号 はコメントを受け付けていません。

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

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

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

【GRACEセンターメールマガジン】第54号

◆□◆GRACEメールマガジン2017/5/16 第54号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第54号 はコメントを受け付けていません。

【GRACEセンターメールマガジン】第53号

◆□◆GRACEメールマガジン2016/12/2 第53号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第53号 はコメントを受け付けていません。

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

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

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

【GRACEセンターメールマガジン】第52号

◆□◆GRACEメールマガジン2016/5/10 第52号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第52号 はコメントを受け付けていません。

【GRACEセンターメールマガジン】第51号

◆□◆GRACEメールマガジン2016/4/20 第51号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第51号 はコメントを受け付けていません。

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

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

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

【GRACEセンターメールマガジン】第50号

◆□◆GRACEメールマガジン2016/3/3 第50号◆□◆ —& … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第50号 はコメントを受け付けていません。

【GRACEセンターメールマガジン】第49号

◆□◆GRACEメールマガジン2016/1/13 第49号◆□◆ — … 続きを読む

カテゴリー: メルマガ | 【GRACEセンターメールマガジン】第49号 はコメントを受け付けていません。