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

    Project Detail

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

    Project Detail

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

    Project Detail

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

    Project Detail

Comments are closed.