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

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

投稿日: 2018年11月29日作成者: grace-office

◆□◆GRACEメールマガジン2018/11/29　第58号◆□◆ &#8212 … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2017年12月19日作成者: grace-office

◆□◆GRACEメールマガジン2017/12/19　第57号◆□◆ &#8212 … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2017年12月19日作成者: grace-office

今回のGRACEセミナーでは，セキュリティパターンで著名なフロリダアトランティッ … 続きを読む →

カテゴリー: 教育, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2017年10月27日作成者: grace-office

◆□◆GRACEメールマガジン2017/11/1　第56号◆□◆ — … 続きを読む →

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2017年10月27日作成者: grace-office

今回のGRACEセミナーでは，モデル検査ツールPATの研究開発などで知られ， … 続きを読む →

カテゴリー: 教育, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2017年10月02日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2017年09月29日作成者: grace-office

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

カテゴリー: 教育, 研究, セミナー | コメントを受け付けていません

投稿日: 2017年05月16日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2016年12月02日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2016年12月02日作成者: grace-office

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

カテゴリー: 研究, セミナー, 未分類 | コメントを受け付けていません