活動紹介

紹介記事

• 「GRACEセンターの活動と今後の展開」本位田真一センター長に聞く

紹介資料

◆ 研究紹介シリーズ

• 第1回: セキュリティ・セーフティのためのソフトウェア工学プロジェクト（SSE）
  「安全・安心なソフトウェアの構築を目指して」
• 第２回: ネットワークサービス合成・流通のためのソフトウェア工学プロジェクト(PerQAS)
  「ユビキタス社会の実現に欠かせない”品質”を確かなものとする」
• 第３回: 双方向モデル変換の言語的基盤技術に関する研究（BiG）
  「ソフトウェアの開発過程記述からソフトウェアを進化させる」
• 第４回: FMBoK (Formal Methods Body of Knowledge) に向けて（FMET）
  「形式手法（フォーマルメソッド）の知識体系の構築プロジェクト」
• 第５回: 論理的設計から検証・シミュレーションまでの統合モデリング言語
  「センサーネットワークモデリング方法論（SenMod）」
• 【第６回: オープン無線センサーネットワークのためのミドルウェア研究開発プロジェクト
  「XACプロジェクト」
• 第７回: ソフトウェア成果物のためのスペクトル分析
• 第８回: アスペクト指向に基づくWeb開発の研究
  「アスペクト指向によりモジュールを再利用することで効率的でディペンダブルなWebソフトウエア開発を目指す」
• 第９回: システム構築・運用における法律対応のためのLIMT-REプロジェクト
  「要求分析手法によるアプローチで、法律の解釈を踏まえて，確実かつ迅速なシステムへの反映への反映を目指す」

講演資料

• GRACEセンター開所式　2008年4月14日開催
  • 本位田真一、「先端ソフトウェア工学国際研究センター」の活動概要　(PDF)
  • 胡振江、「先端ソフトウェア工学国際研究センター」の国際連携・研究事例(PDF)
  • 記念講演会
    Prof. Bashar Nuseibeh （The Open University）
    Grand and Global with GRACE: Software Research Challenges and Collaboration　(PDF)