GRACE Center Overview

「GRACE Center Overview (1): Promoting World-Leading Research Activities」
Fuyuki Ishikawa(National Institute of Informatics)
「GRACE Center Overview(2):Engaging in Tripartite Operations on Research,Practice and Education」
Fuyuki Ishikawa(National Institute of Informatics)

Research in GRACE Center

「Towards Standardization of a Body of Knowledge on Formal Methods」
Kenji Taguchi(National Institute of Informatics)
「Formal Design Notation for Sensor Networks」
Kenji Taguchi( National Institute of Informatics)
「Security Software Engineering for Secure Society」
Nobukazu Yoshioka(National Institute of Informatics)
「Security Requirements Analysis/Elicitation Method for Security Assurance in the Common Criteria」
Nobukazu Yoshioka(National Institute of Informatics)
Kenji Taguchi(National Institute of Informatics)
Hiroyuki Kaneko(Mizuho Information & Research Institute, Inc.)
Takayuki Tobita(Mizuho Information & Research Institute, Inc.)
「Misuse cases meet Assets and Security Goals」
Nobukazu Yoshioka(NationalInstitute of Informatics)
Kenji Taguchi(National Institute of Informatics)
Takao Okubo(FUJITSU LABORATORIES LTD.)
「GRoundTram: A Bidirectional Graph Transformation System Based on Structural Recursion」
Zhenjiang Hu(National Institute of Informatics)
「Sound and Complete Validation of Graph Transformations」
Zhenjiang Hu(National Institute of Informatics)
「Software Engineering for Pervasive, Quality-Assured Service Composition and Delivery」
Fuyuki Ishikawa(National Institute of Informatics)
「Legal Interpretation Management and Tracking - by Requirements Engineering, for Requirements Engineering」
Fuyuki Ishikawa(National Institute of Informatics)
「A Middleware for Open Wireless Sensor Networks」
Kenji Tei( Waseda University)
「Aspect-Oriented Productive and High-Quality Development for Rich Internet Applications」
Hironori Washizaki(Waseda University)
「A Tool for Generating Quality Requirements Spectrum」
Haruhiko Kaiya(Shinshu University)

Education in GRACE Center

「Leading IT Specialists Training Promotion Program - Inter-institute Education Materials Perfection Project」
Kenji Taguchi(National Institute of Informatics)
「IT Human Resource Development by the NII-IPA Alliance」
Fumihiro Kumeno(MItsubishi Research Institute, Inc.)
「TopSE: Intellectual Manufacturing Education Program based on Science」
Fuyuki Ishikawa(National Institute of Informatics)

Practice in GRACE Center

「Towards Advanced Use of Formal Specification Techniques」
Fuyuki Ishikawa(National Institute of Informatics)