「研究」カテゴリーアーカイブ
第83回先端ソフトウェア科学・工学に関するGRACEセミナー[11/17,24開催]
モデルの記述と検証のためのプログラミング –CafeOBJによる仕様 … 続きを読む
第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 … 続きを読む
第74回先端ソフトウェア科学・工学に関するGRACEセミナー[12/8開催]
今回のGRACEセミナーでは,ロンドン大学の研究者2人をお招きして, 人工生命や … 続きを読む