研究プロジェクト

GRACEセンターは、国内外の研究機関との連携を通して、次世代のソフトウェア開発に対応する以下のプロジェクトを中心に研究を進めており、ソフトウェア工学の理論と実践に関する最先端の研究成果を世界に発信しています。

BiG プロジェクト: 双方向モデル変換の言語的基盤技術

ソフトウェアの構成論からソフトウェアの進化論へ
国立情報学研究所 : 胡振江（リーダー）、日高宗一郎、加藤弘之、浅田和之
電気通信大学 : 中野圭介
芝浦工業大学：篠埜功
北京大学 : Hong Mei、Haiyan Zhao、Yingfei Xiong
上海交通大学：Jianjun Zhao
Oxford University: Jeremy Gibbons
Open University: Yijun Yu
• プロジェクトの詳細
• BiGプロジェクトの論文
• 研究紹介シリーズ

PerQASプロジェクト： Web/Ambientサービスコンピューティングのためのソフトウェア開発基盤

Engineering Methods and Infrastructure for Pervasive, Quality-Assured Composition and Delivery of Web & Ambient Services
国立情報学研究所 : 石川冬樹（リーダー）
東京大学 本位田研究室
早稲田大学 深澤研究室
• プロジェクトの詳細
• PerQASプロジェクトの論文
• 研究紹介シリーズ

SSE プロジェクト: セキュリティ・セーフティのためのソフトウェア工学プロジェクト

安全・安心なソフトウェアの構築を目指して
国立情報学研究所、東京工業大学、信州大学、電気通信大学、立命館大学、筑波大学、早稲田大学、
The Open University、Florida Atlantic University、University of East London、民間企業3社
• プロジェクトの詳細
• SSEプロジェクトの論文
• 研究紹介シリーズ

過去の研究プロジェクト

AOSD4Web2.0 プロジェクト: Web2.0時代のアスペクト指向ソフトウェア開発基盤

あらゆるシーンで徹底的なモジュール分離と自動合成
早稲田大学 : 鷲崎弘宜（リーダー）、深澤良彰、久保淳人、水町友彦ほか
国立情報学研究 : 吉岡信和
NTTデータ : 岡本隆史ほか
• プロジェクトの詳細
• 研究紹介シリーズ

EnsemSCSプロジェクト: 高信頼ソフトウェア・アンサンブル技術基盤

再利用でより良いソフトウェア・サービス構成を簡単に
早稲田大学：鷲崎弘宜（リーダー）、深澤良彰、久保淳人ほか
国立情報学研究所：吉岡信和、石川冬樹
• プロジェクトの詳細

MVSQR プロジェクト: ソフトウェア品質要求の測定と可視化に関する研究

ソフトウェア品質要求のマクロな可視化
信州大学 : 海谷治彦（リーダー）
The Open University : Yijun Yu
The Open University : Bashar Nuseibeh
東京工業大学 : 佐伯 元司
• プロジェクトの詳細
• MVSQR プロジェクトの論文
• 研究紹介シリーズ

XACプロジェクト

オープン無線センサーネットワークのためのミドルウェアに関する研究
早稲田大学 : 鄭顕志(リーダー)
• プロジェクトの詳細…
• XAC プロジェクトの論文
• 研究紹介シリーズ

LIMT-REプロジェクト

Legal Interpretation Management and Tracking – for and by Requirements Engineering
国立情報学研究所 :石川冬樹、井上理穂子
• プロジェクトの詳細
• LIMT-RE プロジェクトの論文
• 研究紹介シリーズ

FMET プロジェクト: FMBOK (Formal Methods Body of Knowledge) に向けて

形式手法の知識体系の構築
University of Oxford : Jim Davies，Jeremy Gibbons
University of Limerick，Lero : Mike Hinchey
Museohile/London South Bank University: Jonathan Bowen
• プロジェクトの詳細
• FMET プロジェクトの論文
• 研究紹介シリーズ

SenMod プロジェクト: センサーネットワークモデリング方法論

論理的設計から検証・シミュレーションまでの統合モデリング言語
国立情報学研究所：田口研治（リーダー）、吉岡信和
National University of Singapore : Jin Song, Dong、Jun Sun
Pierre et Marie Curie University of Paris6 : Frederic Peschanski
University of Auckland : Jing Sun
• プロジェクトの詳細

DPMS プロジェクト: Detection of problems and missing stakeholders during software development meetings

Exploring cognitive modeling for communication analysis in software meetings
National Institute of Informatics : Nik Nailah Binti Abodullah, Shinichi Honiden, Eric Platon
The Open University : Bashar Nuseibeh
Nihon Unisys : Toshihiko Tsumaki
• プロジェクトの詳細