[GRACEセンター] 研究紹介シリーズ
【第1回】 セキュリティ・セーフティのためのソフトウェア工学プロジェクト(SSE Project)
-「安全・安心なソフトウェアの構築を目指して」
【第2回】 ネットワークサービス合成・流通のためのソフトウェア工学プロジェクト(PerQAS)
-「ユビキタス社会の実現に欠かせない"品質"を確かなものとする」
【第3回】 双方向モデル変換の言語的基盤技術に関する研究(ザBiGプロジェクト)
-「ソフトウェアの開発過程記述からソフトウェアを進化させる」
【第4回】 FMBoK (Formal Methods Body of Knowledge) に向けて(FMET)
-「形式手法(フォーマルメソッド)の知識体系の構築プロジェクト」
【第5回】 論理的設計から検証・シミュレーションまでの統合モデリング言語
-「センサーネットワークモデリング方法論(SenMod)プロジェクト」
【第6回】 オープン無線センサーネットワークのためのミドルウェア研究開発プロジェクト
-「XACプロジェクト」
【第7回】 ソフトウェア成果物のためのスペクトル分析
[GRACEセンター] 2008年10月
紹介パンフレット2008 (PDF)
[Top SE] 2007年12月
修了生インタビュー (PDF)
[読売新聞] 2007年6月6日
産学協同で、高品質ソフト技術者育成
[科学新聞] 2007年4月6日
NII スーパーアーキテクト: 第1期生12名が巣立つ
[@IT] 2007年3月27日
産業界には科学がない、大学には実践がない
[日経Tech-On!] 2007年3月27日
ソフトウエアの「スーパーアーキテクト」養成講座、1期生の12人が修了
[日刊工業新聞] 2007年1月5日
国立情報研と北陸先端大の取り組み: 複数ツール駆使する能力要請
GRACEセンター開所式 2008年4月14日開催
●本位田真一、「先端ソフトウェア工学国際研究センター」の活動概要 (PDF)
●胡振江、「先端ソフトウェア工学国際研究センター」の国際連携・研究事例 (PDF)
●記念講演会
Prof. Bashar Nuseibeh (The Open University)
Grand and Global with GRACE: Software Research Challenges and Collaboration (PDF)
