Research Projects

♦Linguistic Foundation for Bidirectional Model Transformation
From Construction to Evolution in Software Development
National Institute of Informatics : Zhenjiang Hu(leader), Soichiro Hidaka, Hiroyuki Kato
The University of Tokyo : Masato Takeichi, Yingfei Xiong, Kazutaka Matsuda
Peking University : Hong Mei, Haiyan Zhao, Hui Song
The University of Electro-Communications: Keisuke Nakano
Copenhagen University : Robert Glueck

♦Towards Formal Methods Body of Knowledge (FMBOK)
Building Body of Knowledge on Formal Methods
National Institute of Informatics : Kenji Taguchi (leader)
University of Oxford: Jim Davies，Jeremy Gibbons
University of Limerick，Lero : Mike Hinchey
Museohile/London South Bank University: Jonathan Bowen

♦PerQAS Project on Software Engineering for Composition and Delivery of Networked Services
Engineering Methods and Infrastructure for Pervasive, Quality-Assured Composition and Delivery of Web & Ambient Services
National Institute of Informatics : Fuyuki Ishikawa(leader),
The University of Tokyo: Honiden Laboratory
Waseda University: Fukazawa Laboratory

♦Sensor Networks Modeling Methodology
Highly integrated modeling language from logical design to verification and simulation
National Institute of Informatics : Kenji Taguchi (leader), Nobukazu Yoshioka
National University of Singapore : Jin Song, Dong, Jun Sun
Pierre et Marie Curie University of Paris 6 : Frederic Peschanski
University of Auckland : Jing Sun

♦Software Engineering Project for Security and Safety
Toward a safe and secure software configuration
National Institute of Informatics, Tokyo Institute of Technology, Shinshu University,
The University of Electro-Communications, Ritsumeikan University, University of Tsukuba,
Waseda University, The Open University, Florida Atlantic University,
The University of East London, Three enterprises in the private sector

♦Aspect-Oriented Software Development for Web 2.0
Separation of Concerns and Automatic Synthesis Everywhere
Waseda University : Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Tomohiko Mizumachi
National Institute of Informatics : Nobukazu Yoshioka
NTT Data Corporation : Takashi Okamoto

♦Dependable Ensemble of Software Components and Services
Superior Software and Service Configurations with Reuse
Waseda University : Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo
National Institute of Informatics : Nobukazu Yoshioka, Fuyuki Ishikawa
Chulalongkorn University : Somjai Boonsiri
Chulalongkorn University : Somjai Boonsiri

♦Detection of problems and missing stakeholders during software development meetings
Exploring cognitive modeling for communication analysis in software meetings
National Institue of Informatics : Nik Nailah Binti Abodullah, Shinichi Honiden, Eric Platon
The Open University, UK : Bashar Nuseibeh
Nihon Unisys : Toshihiko Tsumaki

♦Study of Measurement and Visualization of Software Quality Requirements
Visualization for software quality requirements from macro viewpoint
Shinshu University：Haruhiko Kaiya(Leader)
The Open University, UK : Yijun Yu
The Open University, UK : Bashar Nuseibeh
Tokyo Institute of Technology, Japan : Motoshi Saeki

♦Legal Interpretation Management and Tracking - for and by Requirements Engineering