「未分類」カテゴリーアーカイブ
第85回先端ソフトウェア科学・工学に関するGRACEセミナー[12/27開催]
今回のGRACEセミナーでは，セキュリティパターンで著名なフロリダアトランティッ … 続きを読む
第84回先端ソフトウェア科学・工学に関するGRACEセミナー[11/1開催]
今回のGRACEセミナーでは， モデル検査ツールPATの研究開発などで知られ， … 続きを読む
第82回先端ソフトウェア科学・工学に関するGRACEセミナー[12/20開催]
今回のGRACEセミナーでは，要求工学の世界的専門家であるNuseibeh教授を … 続きを読む
第81回先端ソフトウェア科学・工学に関するGRACEセミナー[4/22開催]
今回のGRACEセミナーでは，ブエノスアイレス大学のSebastian Uchi … 続きを読む
第80回先端ソフトウェア科学・工学に関するGRACEセミナー[1/19開催]
今回のGRACEセミナーでは，Design by Contractを始め，プログ … 続きを読む
第79回先端ソフトウェア科学・工学に関するGRACEセミナー[12/17開催]
今回のGRACEセミナーでは，形式手法やプログラム解析の専門家であるJun Su … 続きを読む
第78回先端ソフトウェア科学・工学に関するGRACEセミナー[7/15開催]
今回のGRACEセミナーでは形式手法の第一人者であるウィーン工科大の Helmu … 続きを読む
第77回先端ソフトウェア科学・工学に関するGRACEセミナー[5/11開催]
今回のGRACEセミナーでは大阪大学Gaikovina助教をお招きし，リポジトリ … 続きを読む
第76回先端ソフトウェア科学・工学に関するGRACEセミナー[4/6開催]
今回のGRACEセミナーでは，ブエノスアイレス大学のSebastian Uchi … 続きを読む
第75回先端ソフトウェア科学・工学に関するGRACEセミナー[1/30開催]
今回のGRACEセミナーでは，ディペンダビリティーのための 保証ケース（assu … 続きを読む
