GRACEセンターにおける研究活動

「形式手法の知識体系の標準化」
田口 研治(国立情報学研究所)
「形式的センサーネットワークモデリング言語の設計」
田口 研治(国立情報学研究所)
「Security Software Engineering for Secure Society」
吉岡 信和（国立情報学研究所）
「Security Requirements Analysis/Elicitation Method for Security Assurance
in the Common Criteria」
吉岡 信和（国立情報学研究所）、田口研治（国立情報学研究所）、金子浩之、飛田孝幸（みずほ情報総研株式会社　情報セキュリティ評価室）
「Misuse cases meet Assets and Security Goals」
吉岡 信和（国立情報学研究所）、田口研治（国立情報学研究所）、大久保隆夫（株式会社富士通研究所　セキュアコンピューティング研究部）
「GRoundTram: A Bidirectional Graph Transformation System Based on Structural Recursion」
胡 振江 (国立情報学研究所）
「Sound and Complete Validation of Graph Transformations」
胡 振江 (国立情報学研究所)
「Engineering Methods and Infrastructure for Pervasive, Quality-Assured Composition and Delivery of Web & Ambient Services」
石川 冬樹 (国立情報学研究所)
「Legal Interpretation Management and Tracking - by Requirements Engineering, for Requirements Engineering」
石川 冬樹 (国立情報学研究所)
「オープン無線センサーネットワークのためのミドルウェア」
鄭 顕志（早稲田大学）
「SYAMISEN: コンテクストアウェアネスの実現に向けて」
鄭 顕志（早稲田大学）
「アスペクト指向によるリッチインターネットアプリケーションの高効率高品質開発」
鷲崎 弘宜（早稲田大学）
「品質要求のスペクトル分析を支援するツール」
海谷 治彦（信州大学）

GRACEセンターにおける教育活動

「先導的ＩＴスペシャリスト育成推進プログラム　拠点間教材等洗練事業」
田口 研治（国立情報学研究所）
「NII-IPA連携によるＩＴ人材育成の取り組み」
粂野 文洋（株式会社三菱総合研究所）
「トップエスイー： サイエンスによる知的ものづくりプログラム」
石川 冬樹 (国立情報学研究所)

トップエスイー４期生修了制作発表

「形式手法を用いた高可用性クラスタ・システムのモデル化と検証」
今泉　正雄(ユニアデックス株式会社)
「ゴール指向モデルを利用したソフトウェアテストの精度向上」
沖汐　大志(日本ユニシス株式会社)
「UMLと実装モデル検査を組み合わせた導入コストの低い開発プロセスの提案」
川上　真澄(株式会社日立製作所)
「UPAALLを用いたリアルタイムシステムにおける設計・運用品質の向上手法」
駒形　龍太(株式会社野村総合研究所)
「複数言語対応のソースコード処理系フレームワーク ～テストカバレッジ測定への適用例～」
坂本　一憲(早稲田大学)
「モデル検査手法を用いたマリシャスコードパターンの分析」
椎木　孝斉(一般社団法人JPCERTコーディネーションセンター)
「セキュリティ要件定義のためのゴール指向モデリング手法」
斯波　万恵(東芝ソリューション株式会社)
「ユーザ企業におけるゴール指向要求分析法の導入とテスト効率化手法の提案」
清水　靖則(鹿島建設株式会社)
「DSLとパターンによる高生産かつ高拡張なコード自動生成ツール」
正野　勇嗣(株式会社ＮＴＴデータ)
「状態遷移表のモデル検証自動化ツールの開発」
高田　沙都子(株式会社東芝)
「スケジュール管理Webアプリケーションへの アスペクト指向プログラミングの適用」
竹澤　亮(NTTコムウェア株式会社)
「インクリメンタル型ソフトウェア開発の品質予測」
竹田　和正(富士通株式会社)
「Promelaにおける割り込み制御の半自動モデル化」
只野　賢二(フェリカネットワークス株式会社)
「Webシステムにおけるデータ項目の抽出とチェックの仕組み検討」
塚本　純一(株式会社シスミックインテグレーション)
「組込みシステムコア資産の作成手法の提案」
徳弘　雄亮(三菱電機マイコン機器ソフトウエア株式会社)
「ゴール指向分析法・超上流要求工学手法の適用によるCoBRA法の変動要因抽出支援」
豊嶋　大輔(株式会社三菱総合研究所)
「大規模検証のための検査モデルの構築方法の提案」
中川　雄一郎(株式会社日立製作所)
「UML Components for SOA」
橋本　好史(株式会社インテックシステム研究所)
「確率的モデル検査を用いた、QoS向上のための複数プロバイダ併用設定の検証」
平塚　信明(慶応義塾大学)
「Event-Bを用いた上流工程品質向上の施策について」
北條　浩一郎(富士通株式会社)
「クラウドコンピューティング環境のためのモデル駆動開発ツールの試作」
前田　隆之(富士通株式会社)
「抽象化された形式仕様に基づいた実装のチェック」
真野　悟(日本ユニシス株式会社)
「ユーザーインターフェース開発における状態認知性のモデル検査」
村田　孝宏(富士通株式会社)
「形式仕様記述の自然言語への変換」
山本　力世(ブレインセラーズ・ドットコム株式会社)
「新人技術者教育におけるソースコード評価の妥当性分析」
吉住　英樹(キヤノン株式会社)
「OCL記述を用いたコンポーネント設計の検証」
和田　明日可(キヤノン株式会社)

GRACEセンターにおける実践活動

「抽象化された形式仕様モデルと実装との対応付けに基づく開発・検証支援」
石川 冬樹 (国立情報学研究所)
「プロセス代数 CSP によるシーケンス図設計の詳細化と検証」
海津 智宏(日本電気株式会社/北陸先端科学技術大学院大学)
「内部統制モデル化のフレームワーク」
河本 高文(東芝ソリューション株式会社/北陸先端科学技術大学院大学)
「品質要求駆動型の開発実践事例」
徳本 晋(株式会社富士通研究所)
「経験的改善から定量的改善へ」
宇佐美 雅紀(イーソル株式会社)
「VDMの「紹介」から「コンサルティング」への変革」
植木 雅幸(株式会社CSKシステムズ)
「＜ＰＢＬ特別講座＞ トップエスイー修了生と実践するソフトウェア開発実習」
早川 昌志,宇佐美 雅紀,長久 勝,乾 道孝(トップエスイー3期修了生),吉岡 信和(国立情報学研究所)