Reseach Projects
BiG Project: 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
PerQAS Project: 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
SSE Project: 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
Research Project(Past)
AOSD4Web2.0 Project: 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
EnsemSCS: 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
MVSQR Project: 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
LIMT-RE Project: Legal Interpretation Management and Tracking – for and by Requirements Engineering
FMET Project: 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
SenMod Project: 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
DPMS Project: 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
BiG Project: 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
PerQAS Project: 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
SSE Project: 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
Research Project(Past)
AOSD4Web2.0 Project: 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
EnsemSCS: 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
MVSQR Project: 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
LIMT-RE Project: Legal Interpretation Management and Tracking – for and by Requirements Engineering
FMET Project: 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
SenMod Project: 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
DPMS Project: 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