投稿者「grace-office」のアーカイブ
【GRACEセンターメールマガジン】第58号
◆□◆GRACEメールマガジン2018/11/29 第58号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第58号 はコメントを受け付けていません
【GRACEセンターメールマガジン】第57号
◆□◆GRACEメールマガジン2017/12/19 第57号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第57号 はコメントを受け付けていません
第85回先端ソフトウェア科学・工学に関するGRACEセミナー[12/27開催]
今回のGRACEセミナーでは,セキュリティパターンで著名なフロリダアトランティッ … 続きを読む
【GRACEセンターメールマガジン】第56号
◆□◆GRACEメールマガジン2017/11/1 第56号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第56号 はコメントを受け付けていません
第84回先端ソフトウェア科学・工学に関するGRACEセミナー[11/1開催]
今回のGRACEセミナーでは, モデル検査ツールPATの研究開発などで知られ, … 続きを読む
【GRACEセンターメールマガジン】第55号
◆□◆GRACEメールマガジン2017/10/2 第55号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第55号 はコメントを受け付けていません
第83回先端ソフトウェア科学・工学に関するGRACEセミナー[11/17,24開催]
モデルの記述と検証のためのプログラミング –CafeOBJによる仕様 … 続きを読む
【GRACEセンターメールマガジン】第54号
◆□◆GRACEメールマガジン2017/5/16 第54号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第54号 はコメントを受け付けていません
【GRACEセンターメールマガジン】第53号
◆□◆GRACEメールマガジン2016/12/2 第53号◆□◆ — … 続きを読む
カテゴリー: メルマガ
【GRACEセンターメールマガジン】第53号 はコメントを受け付けていません
第82回先端ソフトウェア科学・工学に関するGRACEセミナー[12/20開催]
今回のGRACEセミナーでは,要求工学の世界的専門家であるNuseibeh教授を … 続きを読む